Follow
I know what it means to talk about the ordinal "ω + 1" || The natural numbers are
@niplav also, the finite ordinals.
@ciphergoth no || I'd have to look it up
@ciphergoth yes || ambiguous because different people have different meanings, so I always say "positive integers" or "nonnegative integers" depending on which one I happen to need to talk about
@gjm OK but which convention do you prefer?
@ciphergoth I literally have no opinion on that! I never use the term "natural numbers"; I always write ℤ˲₀ or ℤ˲₌₀ and say "positive" or "nonnegative"; I am equally comfortable understanding someone else's usage whichever convention they use.
@ciphergoth can I already say that people who know set theory now that zero is the most natural of the numbers?
@ciphergoth
I think there are better algebraic reasons for 0∈ℕ, see the 5th bullet point at https://niplav.github.io/mathematics_notation_convention.html