das Gegenteil dieser Gleichung – ⌊⌊z.B. (a + b)² = a² + 3ab + b²⌋⌋ ein Satz der durch den bewiesenen widerlegt wird.) Welcher Satz ist nun durch

die Induktion den Beweis von (n)fn

widerlegt? – Jeder Satz der Form ~f(n). Der Beweis a + b² etc. rechnet aus daß a + b² = a² + 2ab + b² ist & nicht = a² + 3ab + b² etc. Wenn man nun analog fragt was rechnet denn der Induktionsbeweis aus so muß man sagen er rechnet aus daß
     3 × 2 = 5 + 1 ist und z.B. nicht
     3 × 1 = 6 + 1
lernen daß a + … = ‒ ‒ ‒ ist & nicht … aber dieses Gegenteil ent-

Ms-154,67v

spricht ja nicht dem Satz (∃) φx. Aber rechnet denn die Induktion nicht auf f2 aus? nein denn das tut sie erst wenn f(2) angeschrieben ist. Und wenn es angeschrieben ist dann ist ~f(2) ein Gegensatz des ausgerechneten Satzes aber nicht (∃n)~fn oder nur, wenn das heißen soll daß jeder Satz der Form ~ fn im Gegensatz zur Induktion ist. Man kann einfach fragen: Wie gebrauche ich den Ausdruck „der Satz (∃n)fn” korrekt[?|,] was ist seine Grammatik? Den

Ms-154,68r