- 186 名前：１３２人目の素数さん mailto:sage [2012/04/14(土) 08:02:20.59 ]
- >>177
横レスだが、同じ独立命題と言っても、
例えば交換法則が群の公理から独立というのと
連続体仮説が「通常の数学すべて」から独立というのとでは、
「通常の数学」の人からの気色の悪さはまるっきり違うと思う。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その12
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef