Veblen関数　
初出　　　　　　2005/08/27(土)　6-292
計算可能な方法　2007/01/08(月)　7-114

ψ
初出　　　　　　2007/01/27(土) 7-190〜192
計算可能な方法　2007/01/28(日) 7-195〜196

Church-Kleene順序数
初出　　　　　　2007/05/19(土)　7-273

で、少なくともψの部分と、おそらくVeblenに関する
今年になってからのカキコは7-203(=7-205)によるものか？