Date: Jan 23, 2013 12:25 PM
Author: Jesse F. Hughes
Subject: Re: ZFC and God

"Jesse F. Hughes" <jesse@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).

> This is what you claim you can show, right? Well, I think I can
> recognize elementary proofs in ZF on their own merits, so I won't
> discuss paths. Just show me this proof.

--
"It's my belief that when religion and pseudoscience achieve an
official status within a culture [...], then genocide, war,
oppression, injustice, and economic stagnation are sure to follow."
-- David Petry, on why |X| < |P(X)| is bad, bad, bad.