Ordinal Addition is Associative

Theorem
Let $x$, $y$, and $z$ be ordinals.


 * $\displaystyle ( x + y ) + z = x + ( y + z )$

Proof
By Transfinite Induction on $z$.

Also see

 * Natural Number Addition is Associative/Proof 2