>>477
>少なくとも、”x ∉ x”は矛盾でもなんでもないぞ
　それ、ストローマン

　内包公理、知ってますか？
　
　任意の述語Pについて
　P(x)　⇔　x∈{y|P(y)}
　これが、内包公理の「スキーム」
　Pに具体的な述語を入れれば公理になる

　P(y)をy ∉ yとする
　そしてxに{z | z ∉ z}を入れる
　このとき
　P(x)　は {z | z ∉ z} ∉ {z | z ∉ z}
　であるから
　{z | z ∉ z} ∉ {z | z ∉ z}　⇔　{z | z ∉ z} ∈ {z | z ∉ z}
　となる

　これ矛盾　古典論理を直観主義論理に変えても同じ

>やれやれ　フィールズ賞数学者のストローマンの真似かよ
　おやおや　フィールズ賞数学者のショルツ氏を
　RCS（“redundant copies school”　冗長コピー学派）
　とかいってストローマン論法でいちゃもんつけた
　日本人なら知ってますが

　あれは実にみっともなかったですね
　ICM2022では黙殺されましたね　当然でしょう