13/08/06 NY:AN:NY.AN
証明も参考文献も挙げずにコピペで論破連呼してるだけの白痴未満と同じに見られてるのか
>>247>>248
> ZFじゃないだろ？
> 「ZFから正則性公理を除いたもの」だろ？
とか言われたから
∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
∀x(not x∈x)のZFでの証明
x∈xとなるxが存在したとすると
対の公理からy={x}が存在する
基礎の公理から、あるu∈yが存在してu∩yが空
ところがu∈yからu=xでありx∈uかつx∈yであるから矛盾
したがって任意のxについてnot x∈x
>>253
> ZF集合論では集合とみなされないので定理にならない
意味が分からん
君の脳内ZF集合論など知らんよ
そんな議論してる文献があるなら見せてくれ