Virgil
Posts:
4,674
Registered:
1/6/11
|
|
Re: ZFC and God
Posted:
Jan 23, 2013 3:26 PM
|
|
In article
<8539ed1a-5cdb-493c-b485-6c4deae4a572@u16g2000yqb.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
> 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.
Quantifier dyslexia:
Ak in N, Em in N, m > k
but not
Em in N, Ak in N, m > k
>
> Understand the Binary Tree.
Reck thine own Rede!
WM has no comprehension of Infinite Binary Trees.
--
|
|
