数理論理学（数学基礎論）　その13at MATH

---

818:１３２人目の素数さん
19/02/11 16:37:12.41 YSRNi+IZ.net
>>778
別にどうでも良いけど
普通P⇔￢Pが矛盾であることに排中律は使わないから
変に排中律にこだわる人かと思ったんだよ

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch