>>870
同意。
Hardy関数、順序数やチューリングマシンを用いてはいけない積極的理由は無い。
ふぃっしゅ関数をチャンピオンにするための恣意的理由だけ。