Beweis Durch Widerspruch

Natural & Formal Sciences Dictionary
Eine Beweismethode, die die Verneinung der zu beweisenden Aussage annimmt und einen logischen Widerspruch herleitet; aus dem Widerspruch folgt die ursprüngliche Aussage (klassisch unter Verwendung des Satzes vom ausgeschlossenen Dritten oder der Doppelnegations-Elimination).