Es ist klar, dass jede Multiplikation im Dezimalsystem eine Lösung hat und dass 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 und das Aufzeigen einer Induktion, die erkennen lässt, welcher Art die Sätze sind, zu denen die Leiter führt.