For the Constructible Hierarchy: We abbreviate this as , where is the Von Neumann Hierarchy (though this is misleading). Note that Proposition Let be Sufficiently Strong Let be a Transitive Model such that . Then: Proof By minimality of , we know that But also by :