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.