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?