Foundation Axiom ensures all sets are built from ∅ through stratified levels, making wellfounded and...
This proposition has not been edited since the history system was added.