Die Struktur des indirekten Beweises besteht darin, dass aus der Voraussetzung, bereits bekannten Tatsachen (Definitionen und Sätzen) und dem Gegenteil der Behauptung mithilfe einer endlichen Anzahl gültiger Schlussregeln ein Widerspruch zur Voraussetzung, zu bereits bekannten Tatsachen oder zum...