当たり前と言えばそうだが、「前提を定めれば論理的にどちらかが正しいと証明できるはず」
という人もいる。それは厳密には無理と言うことで書いてあるのだと思う。