When Aristotle and his predecessors devised their theories of logic and mathematics, they came up with the so-called Law of the Excluded Middle, which states that every proposition must either be true ...