不完全性定理とはなにか (ブルーバックス)作者: 竹内薫出版社/メーカー: 講談社発売日: 2013/04/19メディア: 新書この商品を含むブログ (4件) を見る ゲーデルの不完全性定理 第1不完全性定理 自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。