|
|
Re: Interpreting ZFC
Posted:
Apr 27, 2013 1:58 PM
|
|
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?
Zuhair
|
|
