13/08/25 21:45:06.56
>>540
俺はZFやZF-FAでラッセル集合が作れるなんていってないはずだがな
俺の言うラッセル集合は{x|not x∈x}で、基礎の公理があるなら∀x(not x∈x)だから{x|not x∈x}は集合全体、too big
君はなにやら違うものをラッセル集合と呼んでるようで
13/08/25 21:45:06.56
>>540
俺はZFやZF-FAでラッセル集合が作れるなんていってないはずだがな
俺の言うラッセル集合は{x|not x∈x}で、基礎の公理があるなら∀x(not x∈x)だから{x|not x∈x}は集合全体、too big
君はなにやら違うものをラッセル集合と呼んでるようで