>>368
偽の命題を矛盾していると言ってしまうことは
数学の終わりを意味する