Denken wir Einer sagte: „prüfen wir einmal nach ob f für alle n gilt.” Nun fängt er an & sagt nach ein paar Versuchen „ich sehe schon daß es für alle gilt”. Darauf sage ich ja wenn Du das mit dem Satze (x) f(x) meintest!
     Aber so hat er also nachgeprüft ob er eine Induktion findet
aber, wenn er nun keine findet hat er doch damit auch nicht eine Zahl gefunden die der Bedingung nicht entspricht.
Denn die Kontrolle würde lauten: Sehen wir nach ob sich eine Induktion findet oder ein Fall für den das Gesetz nicht gilt. Aber diese beiden sind ja nicht Alternativen. (Satz des ausgeschlossenen Dritten!)