余計なお世話だけど、ふぃっしゅ数の拡張の前に、原始帰納とか
2重帰納の意味あたりを、もう一度よく考えて理解する方がいいと
思うんだな。