Re: ZFC in 4 Axioms.



Jesse F. Hughes wrote:
Then why two?

Ay((yex v y=x) <-> P[y])

Yep, I shoulda thunk it.

MoeBlee

.


Quantcast