Because every transcendental number is irrational, any proof showing that pi is transcendental also proves that pi is irrational.

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