The principle of non-contradiction states: "being is not non-being." Or, as Aristotle put it: "One cannot say of something that it is and that it is not in the same respect and at the same time."

This is a principle that rational beings instinctively know, and usually take for granted. It is also a fundamental law of logic and so, by definition, cannot be proven to be false.