Indirect proof, also known as proof by contradiction, is a method of establishing the truth of a proposition by assuming the opposite is true and demonstrating that this assumption leads to a contradiction. This technique is powerful in mathematical logic and is often used when direct proof is difficult or impossible.