Re: ZFC in 4 Axioms.

zuhair wrote:

Definition:

Ax(x is P_embeded <-> (Ay: y e x <-> P(y)) /\ P(x))

What does 'P' range over? Formulas? If so, then I'm concerned whether
we can justify your definition even as a definitional schema. But let's
see what we find.

But first, please use parentheses rather than the ':' colon symbol. It
will be much clearer.

Now, I don't know whether you want:

x is P_embedded
stands for
Ay(yex <-> (P(y) & P(x)))

or

x is P_embedded
stands for
Ay(yex <-> P(y)) & P(x)

or

x is P_embeddd
stands for
Ay yex <-> (P(y) & P(x))

or

x is P_embdded
stands for
(Ay yex <-> P(y)) & P(x)

MoeBlee

.

Quantcast