Sujet : Re: how
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.mathDate : 13. Jun 2024, 15:59:18
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4f1g6$2aak9$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
Am 13.06.2024 um 16:45 schrieb WM:
The minimal inductive set contains
all and only finite von Neumann ordinals.
Yes. I call it ℕ_def.
Mathematians usually call it "ℕ" or "ω".
Please try to use standard notation (to avoid confusion).
By ℕ I mean [the]
minimal inductive set.
See?!
That is what I call ℕ_def.
Mathematians usually call it "ℕ" or "ω".
Please try to use standard notation (to avoid confusion).
_______________________________
On the other hand, great that we now KNOW that ℕ_def = ℕ.
Thanks for clarification.