23/06/11 14:42:26.01 UHPzFVQz.net
>>518
おヌシはゲーデルの不完全性定理のステートメントは引用せず
そのかわりクソ文章ばかりコピペするから馬鹿にされる
まずステートメントを引用せよ
第一不完全性定理
"初等的な自然数論"を含むω無矛盾な公理的理論Tは不完全である，
つまりそこで証明も反証もされない命題（決定不能命題(undecidable proposition)，あるいは独立命題）が存在する。
第二不完全性定理
"初等的な自然数論"を含む理論Tが無矛盾ならば，
Tの無矛盾性を表す命題 Con(T) がその体系で証明できない。
実際には以下の形で証明される
第一不完全性定理
"初等的な自然数論"を含む公理的理論Tが完全ならばω矛盾する
第二不完全性定理
"初等的な自然数論"を含む理論Tにおいて
Tの無矛盾性を表す命題 Con(T) がその体系で証明されるならば
矛盾が導ける