The necessarily true is what cannot be otherwise. This definition is grounded in the principle of contradiction: the principle that one thing cannot — in the same respect and at the same time — be both what it is and what is not. But that principle cannot be proven. For every proof presupposes that the same thing cannot be both what it is and what it is not.