Date: Apr 13, 2013 12:49 PM
Author: namducnguyen
Subject: Re: Matheology § 224
On 13/04/2013 9:54 AM, Frederick Williams wrote:

> Nam Nguyen wrote:

>

>> In so far as a _perceived_ language structure would enable

>> us to interpret the concept of the natural numbers, such

>> a perception is a theology; in it, there are 2 offshoot

>> theologies which we'll _forever_ (i.e. even in principle of

>> logic) struggle to choose for acceptance:

>>

>> - cGC being true

>> - ~cGC being true.

>

> You have no reason to suppose that anyone (never mind "we") will forever

> struggle to accept either.

I do. The truths of however infinitely many Induction-schema axioms in

PA are theological truths we all have assumed.

All we need to do is to prove the truth value of these 2 formulas can

_not_ be finitely or inductively described. And we can prove that.

--

----------------------------------------------------

There is no remainder in the mathematics of infinity.

NYOGEN SENZAKI

----------------------------------------------------