大澤真幸はゲーデルの定理についてこんなことを言っている。 ゲーデルの第一不完全性定理と第二不完全性定理は、次のことを意味している。すなわち、（自然数論を含む）形式体系が含まざるを得ない決定不能命題の存在は、体系内のすべての命題（論理式）の決…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
