0826132人目の素数さん垢版 | 大砲2018/05/22(火) 13:27:39.74ID:wnIg7AMi ゲーデルの(第二?)不完全性定理の証明への途上でゲーデルのベータ関数ってどうしてなくちゃならないんですか? 殆どどの教科書でもゲーデルのβ関数定義して議論を進めてますよね? 議論のどこかで帰納法を使うことは許されないんですかね で、さっき廣瀬健の帰納的関数ではゲーデルのβ関数を定義してなかったのですが ますます混乱してしまいます