数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch318:１３２人目の素数さん 13/11/21 00:20:46.72 >>298 ∀x.P(x)の場合は、述語論理の公理に ∀x.P(x) → P(a) があるから改めて何かする必要はない。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch