you know a wasteof post is gonna be spicy when it has significantly more comments than likes
The successor of a natural number is a natural number
If the successor of two natural numbers are equal, the two natural numbers are equal
A successor is not equal to zero
A set that contains zero and the successor of every natural number that it contains contains every natural number
Oh no it appears real life has happened and I have to continue later
One more before that though