Nehmen wir nun an, ich will den Satz auf 5, 6, 7 anwenden, so sagt mi[t|r] der Beweis, dass ich das bestimmt darf. Wenn ich nämli[v|c]h diese Ziffern in der Form ((1 + 1) + 1) etc. schreibe, so kann ich erkennen, dass 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.

✓ / \ –