/  
Es ist klar daß jede Multiplication im Dezimalsystem eine Lösung hat & daß man also jede ˇarithmetische Gleichung von der Form a × b = c beweisen oder ihr Gegenteil beweisen kann. Wie sieht nun ein Beweis dieser Beweisbarkeit aus? Er ist offenbar weiter nichts als eine Klärung des Symbolismus & das Aufzeigen einer Induktion die erkennen läßt, welcher Art die Sätze sind zu denen die Leiter führt.