Nehmen wir nun an, ich will den Satz auf 5, 6, 7 anwenden, so sagt mir der Beweis, daß ich das bestimmt darf. Wenn ich nämlich diese Ziffern in der Form ((1 + 1) + 1) etc. schreibe, so kann ich erkennen, daß der Satz ein Glied jener Satzreihe ist, die mir der letzte Satz der Skolem'schen Beweiskette darstellt. Dieses Erkennen ist wieder nicht beweisbar sondern intuitiv.