Date: Apr 13, 2013 2:24 PM
Author: namducnguyen
Subject: Re: Matheology § 224
On 13/04/2013 12:15 PM, Frederick Williams wrote:

> Nam Nguyen wrote:

>>

>> 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.

>

> If that will settle the matter, then do it.

But ... you still don't understand a simple fraction of it (my M1 being

a FOL language structure), right?

[I've been re-doing it to others, but first they have to let me know

if they'd understand my Def-1, and Def-2, as they've requested me

to make the definitions].

--

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

There is no remainder in the mathematics of infinity.

NYOGEN SENZAKI

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