Date: Jan 23, 2013 12:45 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: ZFC and God
On 23 Jan., 18:25, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:

> "Jesse F. Hughes" <je...@phiwumbda.org> writes:

>

> > We're talking about whether ZF proves a contradiction, by proving that

>

> > NOT (A k in N)(U_n {1,...,n} > k).

>

> Should be NOT (A k in N)(|U_n {1,...,n}| > k). (Missed the

> cardinality symbols).

You have not yet understood our topic at all. *Every* k in N can be

surpassed by the union of FISs. But not all:

For every k in N we have infinitely m > k in N.

For all k in N we have no m > k in N.

Understand the Binary Tree. After you will have understood it, you

will understand, why it is important.

Regards, WM