Schema des indirekten Beweises (Beweis durch Widerspruch) für den Satz:
Gehe von aus (nimm an, daß die Behauptung falsch ist), argumentiere richtig,
versuche etwas sicher Falsches zu erhalten. Dann kann
nicht richtig sein. Es
muss also
richtig sein.
Es sei eine natürliche Zahl.
Gehe von aus:
sei eine ungerade Zahl:
. Daraus folgt, daß
eine ungerade Zahl (
) ist. Dies stellt ein
Widerspruch zur Annahme dar, also ist
gerade.