19/02/11 10:35:11.27 duiNLZG1.net
>>754
今まで何度も聴いてきたネタだな。
でもそれって毎回毎回自然言語で説明するからウザいよな
それって要するに
￢∃Y∀X(X∈Y⇔￢X∈X) は証明可能
ってだけに過ぎないのにな
こういう風に端的に言われたら、いざ証明しようとなったときに
∃Y∀X(X∈Y⇔￢X∈X)を仮定したとき
∀X(X∈Y⇔￢X∈X)だからXにYを代入して、
Y∈Y⇔￢Y∈Yであり
一方排中律により、Y∈Y∨￢Y∈Yであるから、
これら2式より矛盾が導かれる
よって￢∃Y∀X(X∈Y⇔￢X∈X)である
って感じに証明すればスッキリと分かり易いのにな