 Ordinals \(\beta&lt;\varepsilon_0\) have a Cantor normal form with exponents \(\beta_i&lt;\beta\) and these exponents have Cantor normal forms with yet again smaller exponents. As this process must terminate, ordinals \(&lt;\varepsilon_0\) can be coded by natural numbers. For instance a coding function 