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

WM <> writes:

> On 23 Jan., 18:09, David Bernier <> 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

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