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.
-- When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting