Re:Habits of highly mathematical people
by catnaroek on Thursday August 11, 2016 @12:40PM
(#12269697)
> "The successor" of "0" means nothing because "successor" isn't defined
The existence of a successor function is postulated, because it's an axiom of the theory of natural numbers. It's up to individual models of the theory to define this function concretely.
The existence of a successor function is postulated, because it's an axiom of the theory of natural numbers. It's up to individual models of the theory to define this function concretely.