レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。

ぱゎーさんとSpecial Containment Procedures　SCP-015

127：架空のおともだち：2014/06/08(日) 13:48:24 ID:???: 第1不完全性定理
自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。
第2不完全性定理
自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。

掲示板管理者へ連絡無料レンタル掲示板