>>343
自己言及したから即、矛盾する、というわけではない

この場合、否定をとる写像における真偽値の不動点が存在しないことが本質
二値でなかったとしても、不動点が存在しなれば矛盾する

逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
そういうことは例えばDana Scottのdomain theoryを知ってれば、常識

ま、高卒が知らなくても無理ないけど

ああ、そうそうdomainって言っても
zero divisorを持たないringのことじゃないぜ

素人は同じスペルだとすぐ同義だと脊髄反射するからな（笑）