Prinzip des Indirekten Beweises

Eine Beweismethode, die die Wahrheit einer Aussage P dadurch herstellt, dass man ihre Negation ¬P annimmt und einen Widerspruch ableitet; aus diesem Widerspruch schließt man, dass P gelten muss (häufig als reductio ad absurdum oder Widerspruchsbeweis in der klassischen Logik bezeichnet).