4 ms·
> "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 theo
by catnaroek 10y ago
> "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.