Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers
De : FTR (at) *nospam* nomail.afraid.org (FromTheRafters)
Groupes : sci.mathDate : 12. Nov 2024, 11:10:52
Autres entêtes
Organisation : Peripheral Visions
Message-ID : <vgv9jf$1hon2$1@dont-email.me>
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 26
User-Agent : MesNews/1.08.06.00-gb
WM was thinking very hard :
On 11.11.2024 22:50, FromTheRafters wrote:
It happens that WM formulated :
>
>
For that claim you need an infinite set of claims.
Good thing we have such.
>
No.
see axiom vs. axiom schema.