Redirecting to Axiomatic set theory