Date: Feb 4, 2013 6:47 PM
Author: fom
Subject: Re: WMytheology § 203

On 2/4/2013 4:14 PM, Virgil wrote:


>> 4) In many cases the string cannot be defined by a finite word.
> That some reals are inaccessible is well known.

Are you saying that the real number system
requires the existence of inaccessible cardinals?

Or simply reiterating that classical logics
are locally finite?