- #1
Garrulo
- 61
- 0
Is there a meta-mathematical model of ZC (Zermelo Set Theory with specification scheme and axiom of choice but not remplacement and) that includes a minimun quantity of Gödel constructible elements of L hierarchy with all the ordinals until ω⋅2 and that it "lives" in all the meta-mathematical models of ZC?