On Apr 27, 3:55 pm, Jan Burse <janbu...@fastmail.fm> wrote: > No > > Zuhair schrieb: > > > > > > > > > Pre-ZFC 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 Pre-ZFC. > > > Zuhair
Hmmm,... you must have figured out some flaw somewhere, what is it?