Ordinal numbers
Proof theory
B-tree
Tree
Finite set
Ordinal notation
Mathematics
Mathematical logic
Set theory