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

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

<snip>

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