まぁ、言外に論理学はあるか？を考えるアプローチの方が証明は早いかもしれないね。