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