数理論理学（数学基礎論） その11at MATH数理論理学（数学基礎論） その11 - 暇つぶし2ch335:１３２人目の素数さん 13/10/19 10:32:37.93 上にもあるように、証明出来ない論理式が存在すれば無矛盾、とすれば論理式全体の集合は出てこない。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch