/sci/ - Science & Math

>>14963974
Successions
1 = succ(0)
2 = succ(1) = succ(succ(0))
3 = succ(2) = succ(succ(1)) = succ(succ(succ(0)))
All operations can be defined as successive iterations of successions.
It's too bad the name for the inverse of the succession function isn't blow() or spitOut().