|
|
|
|
|
|
by valenterry
481 days ago
|
|
|
> While you are right that Succ() is as elemental as it gets (including in both Peano and set-theory construction of natural numbers), it is seldom used outside of theoretical foundations. Well, depends on how you define seldom. What if I told you that twitter would break without the use of Succ()? :-) |
|
|
> it's still a can of worms
;-)