- 471 名前：470 mailto:sage [2005/05/28(土) 15:22:22 ]
- >>461
貴方の「すごく引っかかる」とういうセンスは正しい。
この公理は、一見何も問題無いように見えるが、実はこの公理から排中律が
導びかれてしまうので、実は非構成的な公理である（というよりも、この公
理を前提にするなら、等号の公理 Ｐ(s), s=t → Ｐ(t) をもっと弱い形に
修正しなければいけない）。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef