User blog:PsiCubed2/Counting with Ordinals

Part II: Up to ε0 (work in progress)
to be continued...