## 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))