>>881
F6=η0については、せっかく作ったのでそのままにしておきます。
η0の実現方法が面白いと思う人は思うし、思わない人は思わない、
η0という順序数の凶暴さ(?)を感じ取ることができる、当面は
その程度の価値ですね。

開発予定だったF7=Γ0については、開発を中止します。
また、開発意義が出たら考えます。