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.