Date: Apr 6, 2013 9:32 AM
Author: Guest
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 the Goldbach conjecture is undecidable in PA then it is true.