Cantor Normal Form
Indecomposable Ordinals
Ordinal arithmetic
Ultrafinitism as arithmetic potentialism
Anthropomorphizing the Russell paradox