you know a wasteof post is gonna be spicy when it has significantly more comments than likes
If the successor of two natural numbers are equal, the two natural numbers are equal
A set that contains zero and the successor of every natural number that it contains contains every natural number