arithmetic with ordinals. A kind of transfinite arithmetic.

well-ordering theorem

cardinal arithmetic

See also