|
|
Re: ZFC and God
Posted:
Jan 23, 2013 1:08 PM
|
|
WM <mueckenh@rz.fh-augsburg.de> writes:
> On 23 Jan., 18:09, David Bernier <david...@videotron.ca> wrote:
>
>> Naturally, I'll grant that here, "Binary Trees" is irrelevant !
>> to the question of ZF consistency ...
>
> Understand the Binary Tree. After you will have understood it, you
> will understand, why it is relevant for ZF.
If you want to show that ZF is inconsistent, just show us that ZF
proves P & ~P for an appropriate formula. You said, I think, that the
formula U_n{1,...,n} is infinite will suffice, so let's just look at
that.
We're not doing Zen meditations here. Just provide a proof in ZF of
the claim "NOT U_n{1,...,n} is infinite".
--
Jesse F. Hughes
"It is a brilliant proof you, you math haters!!!"
-- James S. Harris
|
|
