Nachtrag zu Obigem:Die Aussage muss schon bewiesen werden. Ihr Nachweis hat auch eine ganz andere Begründung, da es bei ihr keine "Induktionsvoraussetzung" gibt (Beispiel: Vollständige Induktion). [In Klausel-Normalform lese ich, dass die leere Konjunktion den Wahrheitswert WAHR (TRUE) ergibt. Damit kann ja wohl nicht schon bewiesen sein.] -- Nomen4Omen 17:20, 3. Sep. 2018 (CEST)