@pkmnq | wasteof.money 4

you know a wasteof post is gonna be spicy when it has significantly more comments than likes

22 8 500

comments (single view)

The class of all ordinals

Zero is a natural number

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