/  
   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ämlich 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.