Corollary 2.3 (Minimality). Assuming that:

$T$ is a transitive model of $ZF$

Then for all

α \in T \cap Ord

,

𝕃_{α} \subseteq T

. Axiom of TODO.