Die Induktion ist die gemeinsame Form von Beweisen denen jedem die Auffindung einer Form || eines Satzes ~fa widersprechen würde. Darum sage ich sie beweisen einen Satz (n) f(n). Denn das Verhältnis zwischen Induktion & ~fa ist nun ähnlicher wie das von „alle Menschen sind sterblich” & ist ein Mensch & nicht sterblich”.