Re: Axiom of Pairing, Scheme of Replacement from others


G. Frege wrote:
On Fri, 19 Jan 2007 21:35:41 -0500, "Stephen J. Herschkorn"
<sjherschko@xxxxxxxxxxxx> wrote:


MB's repetitions demonstrate how easy it is to claim something is not
true. However, without explicit presentation of a proof which does not
rely on the existence of the empty sets, such claims are not credible in
this case. MB, can you present such a proof?


"Unproven statements carry little weight in the world of
mathematics." - Amir D. Aczel


F.

Yes, and proofs of separation from replacement and of empty set from
separation are not hard to find and not even hard to do from scratch.
It doesn't take much to see that replacement implies separation and
that separation implies empty set. And if I had been asked to fulfill
the chore, I woud have, and as I have now (see my response to Stephen
J. Herschkorn) that I have been asked to do so.

MoeBlee

.

Relevant Pages
Quantcast