you know a wasteof post is gonna be spicy when it has significantly more comments than likes
The class of all sets that do not contain themselves
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