User blog:B1mb0w/Omega Count

== Omega Count == I think it is useful to keep track of the number of \(\omega\) additions are required to reach higher ordinals. Here is an example of what I mean:

Let \(n = 2\) and diagonalise over \(n\) then:

\(\omega + \omega = \omega.2 = \omega^2 = \epsilon_0 = \varphi(1,0)\)