ゲーデルの不完全性定理の概観。なぞっても面白くないので自分なりに再構成。 自然数論を含む公理系Nは、矛盾しているか、不完全である(ゲーデルの第一の不完全性定理)。そして、Nの無矛盾性は、有限の立場では証明することができない(ゲーデルの第二の不…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。