12/10/09 20:56:46.23
要はゲーデル数みたいなものを考える、というだけなら
0または1に当たるものとsuccessor Sがあれば良い
そのゲーデル数の性質がどれだけ証明できるか、ということなんだよね
第二不完全性定理を（知られているやり方で）証明するためには
帰納法がある程度必要になる、というのがコンセンサスかと
12/10/09 20:56:46.23
要はゲーデル数みたいなものを考える、というだけなら
0または1に当たるものとsuccessor Sがあれば良い
そのゲーデル数の性質がどれだけ証明できるか、ということなんだよね
第二不完全性定理を（知られているやり方で）証明するためには
帰納法がある程度必要になる、というのがコンセンサスかと