Date: Apr 13, 2013 12:38 PM
Author: namducnguyen
Subject: Re: Matheology § 224

On 13/04/2013 9:57 AM, Frederick Williams wrote:
> Nam Nguyen wrote:
>

>> But if GC is undecidable in PA, there's no proof left in FOL but
>> _structure theoretically verifying_ the truth value of GC in
>> this structure.

>
> If GC is undecidable in PA, then it's true.
>

I've already explained to Peter et al that this isn't true.

--
----------------------------------------------------
There is no remainder in the mathematics of infinity.

NYOGEN SENZAKI
----------------------------------------------------