Date: Apr 6, 2013 12:56 AM
Author: namducnguyen
Subject: Re: Matheology § 224

On 05/04/2013 10:31 PM, Virgil wrote:
> In article <VFM7t.356449$PC7.98356@newsfe03.iad>,
> Nam Nguyen <> wrote:

>> Then you don't seem to understand the nature of cGC, depending on the
>> formulation of the Conjecture but being a _different_ formula.
>> For GC (the Goldbach conjecture), there naturally are 2 cases:

> What if the GC is eventually proved true in all systems?

What do you mean by "all" systems?

We know for fact that it's provable in PA + {~0=0}.
But then so what?

Besides, you could also ask "what if" it's impossible to verify
the truth of cGC in the naturals, but you didn't or don't seem
to desire to ask!

There is no remainder in the mathematics of infinity.