
Interpreting ZFC
Posted:
Apr 26, 2013 7:37 AM


PreZFC is a first order theory with the following axioms:
(1) Powerful Boundedness: if phi is a formula in which x,y are free, then all closures of:
EB: (Vy in B(Ex C A:phi)) & (Vx C A ((Ey:phi) >(Ey in B:phi)))
are axioms.
C is subset relation. V;E signifies universal; existential quantification respectively.
2) Infinity.
/
The whole of ZFC can be interpreted in PreZFC.
Zuhair

