Without the theorem of the excluded middle, all kinds of difficulties arise. In fact, many mathematical proofs are based on ...