Sujet : Re: how
De : Tom (at) *nospam* bolamail.etc (Tom Bola)
Groupes : sci.mathDate : 03. May 2024, 22:36:49
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v13ldj$oq14$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : 40tude_Dialog/2.0.15.1
Am 03.05.2024 22:46:10 Moebius drivels:
Am 03.05.2024 um 18:37 schrieb Tom Bola:
Am 03.05.2024 16:33:47 Moebius drivels:
But IN and w are isomorphic - which is a fact, no matter whatever
"Cantor invented".
IN and ω are IDENTICAL in modern/axiomatic set theory (say ZF(C))
If w is a Peano system then IN is isomorphic to w.
you fucking asshole
Isomorphiesatz by Dedekind:
"Any two models of the Peano axioms (including the second-order
induction axiom) are isomorphic."
Basta.