数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch475:１３２人目の素数さん 12/02/03 07:25:41.91 問、等号なし一階述語論理でZFC外延公理から以下を導け： ∀x(x∈a ⇔ x∈b) ⇒ (a∈c ⇔ b∈c) 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch