現代数学の系譜カントル超限集合論他 3

[過去ﾛｸﾞ] 現代数学の系譜カントル超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

262(1): 2021/08/22(日)08:30 ID:sTIzdDwF(6/7) AAS
これは矛盾しないんですか？だとしたら、分からない
＞Bのいかなる要素もf(x)の要素です
＞ただしx∈f(x)となるような要素は存在しません

264: 2021/08/22(日)09:51 ID:QZFJZsWw(6/6) AAS
>>262
　∀x(x∈A⇒x∈B)
⇔∀x(x∉A∨x∈B)
⇔∀x￢(x∈A∧x∉B)

つまり、∀x(x∉A)、すなわちAが空集合なら
∀x(x∈A⇒x∈B)は自動的に成り立つ

一方
省4