ψ関数がやっと理解できた。
そろそろ2進数で順序数および関数を定義してみるのも面白いかもしれない。