Reductio ad absurdum is a Latin phrase which means "reduction to the absurd". The phrase describes a kind of indirect proof. It is a proof by contradiction, and is a common form of argument. It shows that a statement is true because its denial leads to a contradiction, or a false or absurd result. It is a way of reasoning that has been used throughout the history of mathematics and philosophy from classical antiquity onwards.