19/10/24 22:31:02 v8ZyClKL.net
>>574
＞「１という元を持つ集合」を元とする集合という意味のようだが、
＞そんなのはインチキである(笑
ほーら、やっぱりダメなんじゃないですか(笑)(笑)(笑)
＞集合を元に持つ集合を認めようが認めまいが
とか言いつつ結局安達さん認めてないんですね(笑)
集合を元に持つ集合は認めない
だから空集合を元に持つ集合は認められない
QED
よかったですね、証明できましたよ
あと対の公理も安達さん認めてないということですね
∀x∀y∃A∀t(t∈A⇔(t=x∨t=y))
これは全てのxですから
xは集合かもしれませんよね