アイディアはよかったが作者にそれを記述できるほどの脳みそが
なくて結局概念だけに終わった（本人は記述できてるつもりらしい）。
順序数の議論が続いてるみたいだけど、α→α[x]を単に記号列から記号列
への関数(変換規則)だとすれば集合だのヒカサンだの考えなくてもいいと思うが。