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 …) schreibe,
so kann ich erkennen, daß der Satz ein Glied jener Satzreihe ist,
die mir der letzte Satz der
Skolemschen Beweiskette darstellt. Dieses
Erkennen ist wieder
unbeweisbar || nicht beweisbar sondern intuitiv