Foundational temp3
On universal morphisms ≻ Foundational temp3 ≻ Foundational temp4 • |
Guide
… and then set theory up to
(this includes First infinite von Neumann ordinal , the existence of which is granted by the Axiom of infinity (and is part of every Set universe as defined above))