===== Foundational temp3 ===== | [[On universal morphisms]] $\succ$ Foundational temp3 $\succ$ [[Foundational temp4 • ]] | ==== Guide ==== |[[Empty set]]| >... and then set theory up to |[[Set universe]]| (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)) ==== Parents ==== === Sequel of === [[On universal morphisms]] === Related === [[On universal morphisms]]