たとえば、「ゲーデルの不完全性定理」といいますが、これは正確にいえば、「ゲーデルによって証明された、ペアノの算術公理系を含む無矛盾な形式的体系――簡単にいえば、算術を含む無矛盾な体系――に関する不完全性定理」のことです。なんに関するというとこ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。