Sujet : Re: Simple enough for every reader?
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logicDate : 31. May 2025, 14:40:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101f0rr$14h5f$2@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 : Mozilla Thunderbird
On 31.05.2025 11:59, Mikko wrote:
On 2025-05-30 14:25:22 +0000, WM said:
Here I use induction in Cantor's set. That is allowed. Cantor did it too.
No, there is no artithmetic induction and no set induction there.
"daß die Reihe
1, i2, i3, ..., i, ...
nur eine Permutation der Reihe
1, 2, 3, ..., , ...
ist. Dies beweisen wir durch vollständige Induktion,"
[Cantor, collected works, p. 305]
All natural numbers of Peano's set, i.e., all definable natural numbers obey arithmetic induction:
P[n]: {1, 2, 3, ..., n} has infinitely many (ℵo) successors.
P[n+1]: {1, 2, 3, ..., n, n+1} has infinitely many (ℵo) successors.
For all ℵo - 1 = ℵo.
Regards, WM