- 335 名前：１３２人目の素数さん mailto:sage [2019/04/22(月) 20:58:42.72 ID:ZbmAge8N.net]
- >>304
> 上記は
> ｛ｘ 、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ 、ｘ｝＝｛ｘ｝が偽の命題というｌ事が両立してる
> （矛盾）
これから言えることは、
((x=●)⇒(({x,x}={x})∧¬({x,x}={x})))⇒¬(x=●)
つまり、
x=●ならば
> ｛ｘ 、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ 、ｘ｝＝｛ｘ｝が偽の命題という事が両立して
おり矛盾、よって●はxになることはない
だぞ
