Re: ZFC in 4 Axioms.

zuhair wrote:
ExAy yex<->P(y). is y here free or bounded?

Which 'y'? There are two of them, plus any finite number of them in
P(y).

And do you mean:

ExAy yex<->P(y)

or do you mean:

ExAy(yex <-> P(y)).

Then figure out for yourself what is free and bound.

MoeBlee

.

Quantcast