Es ist doch offenbar eine Entsprechung zwischen dem algebraischen Satz – etwa a + (b + c) = (a + b) + c – & dem Induktionsbeweis in der Arithmetik, den man gewöhnlich als seinen Beweis ansieht. Es ist eine klare formelle Entsprechung.