数理論理学（数学基礎論） その13at MATH数理論理学（数学基礎論） その13 - 暇つぶし2ch793:１３２人目の素数さん 19/02/11 10:43:49.18 YSRNi+IZ.net>>755 > 一方排中律により、Y∈Y∨￢Y∈Yであるから、 無矛盾律に排中律いらんしょ？ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch