Date: Apr 13, 2013 11:57 AM
Author: Frederick Williams
Subject: Re: Matheology § 224

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.

--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting