Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.mathDate : 15. Nov 2024, 21:11:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <bcd56deb-561b-4f0f-9894-be79b9c202d8@att.net>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Mozilla Thunderbird
On 11/15/2024 1:24 PM, Ross Finlayson wrote:
On 11/15/2024 10:05 AM, Ross Finlayson wrote:
On 11/15/2024 09:55 AM, Jim Burns wrote:
[...]
>
Non-standard models of integers exist.
"A restriction of comprehension is not a truth."
A finite sequence of claims, each claim of which
is true.or.not.first.false, is
a finite sequence of claims, each claim of which
is true.