Axiom of heredity

Redirect to:

• Ackermann set theory