|
|
Re: ZFC and God
Posted:
Jan 23, 2013 12:25 PM
|
|
"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.
|
|
