数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch177:137 12/01/08 20:34:26.18 そもそもT∪{￢∀ｘA}を公理系と考えることが出来ないのではないでしょうか？ 公理系の定義は閉論理式の集合なので。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch