Liste des Groupes | Revenir à s math |
Familiar arithmetic works in potential infinity.Do you agree that>It is not Cantor's actual infinity.>
It is our familiar arithmetic.
Of course.
your (WM's) claims are not about
our familiar arithmetic?
That is no definition of a number but a description of a set. But every element of ℕ⁺ can be defined.Most natural numbers are undefined⎛ Each number in ℕ⁺ has a successor.
by you and by anyone else.
⎜ Each nonzero number in ℕ⁺ has a predecessor.
⎝ Each nonempty subset of ℕ⁺ holds a first number.
Les messages affichés proviennent d'usenet.