Wieso? Ist das nicht Beweis durch Widerspruch?
Ich gehe von einer bestimmten Annahme aus (nehmen wir das berühmte Beispiel √2 ∈ ℚ), dann erhalte ich eine unwahre Aussage bzw. einen Widerspruch, und damit ist die Annahme widerlegt.
Oder hat das hier etwas mit "ex falso quodlibet" zu tun?