- 78 名前：浩二ート ◆ghclfYsc82 mailto:sage [2012/07/22(日) 12:44:42.40 ]
- >>76は第一不完全性定理。「数学は矛盾を含まない」という命題がその決定不能な
命題のひとつだということを示したのが第二不完全性定理。数学は「数学が矛盾を
含まない」という命題を証明も反証もできない
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その13
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef