Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Re: Interpreting ZFC
Posted:
Apr 27, 2013 8:55 AM


No
Zuhair schrieb: > 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 >



