https://rio2016.5ch.net/test/read.cgi/math/1768122529/940
>まあ、公理から矛盾が導ければ偽だがね
>矛盾が導けない、と判断する方法はない
ん?