ゲーデルは不動点定理を用いて「この文は証明できない」という趣旨を表現する算術の文gを構成して、gが無矛盾な公理系では証明も反証もできないことを示して、算術の不完全性を示した。 それでは、「この文は証明できる」を表現する算術の文を構成したらどう…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。