23/12/14 13:08:55.44 jUgdOWZc.net
>>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では黙殺されましたね 当然でしょう