実は、「正しいともあるいは正しくないともどちらも証明することは
不可能な命題である」などというようなことは無いのだろうな。