you know a wasteof post is gonna be spicy when it has significantly more comments than likes
Proper class
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