集合論について

[0001 １３２人目の素数さん 2013/11/18(月) 04:05:17.08]

いくらなんでも数学板に集合論全般を扱うスレがないのはおかしいだろ

[0128 １３２人目の素数さん 2014/03/08(土) 17:49:04.92]

>>117
＞ルカシーヴィッツの公理系も同等の性質を持つ公理系らしい

違うと思う
117の公理系では重複する前提を１つにまとめられないと思う

[0129 １３２人目の素数さん 2014/03/08(土) 17:55:32.28]

>>128のつづき

例えば(L1)〜(L3)で
（Ａ⇒（Ａ⇒Ｂ））⇒（Ａ⇒Ｂ）
を証明できる？