Associativity of ordinal addition
= Associativity of ordinal addition
For all ordinals $\alpha,\beta,\gamma$,
$$
(\alpha+\beta)+\gamma=\alpha+(\beta+\gamma).
$$
This follows by <transfinite induction> on $\gamma$ from the recursive definition of <ordinal addition>.