Die Vielfalt der Beweisverfahren: wie der Exhaustions-, Reduktio ad absurdum- und Konstruktionsmethode.