数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch621:１３２人目の素数さん 11/05/24 00:48:35.20 >>620 一般化規則 φ->ψ implies φ->∀xψ は公理で置き換えることはできない。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch