数理論理学（数学基礎論） その11at MATH数理論理学（数学基礎論） その11 - 暇つぶし2ch282:１３２人目の素数さん 13/10/16 01:27:40.55 （念のため補足） 矛盾する文が存在しないとき、「無矛盾」 矛盾する文が一つでも存在したら、「その理論は矛盾する」 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch