Foundational temp3
On universal morphisms $\succ$ Foundational temp3 $\succ$ 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))