Aber nehmen wir an die ‘Axiome’ & ‘Schlußweisen’ seien nicht nur irgendwelche Construktionsweisen sondern sie üb sei Überzeugten uns auch durchaus von dem Construierten! // sondern auch durchaus überzeugende! // Nun dann heißt das, daß es Fälle gibt,
67
in denen die Construktionen aus diesen Bausteinen nicht überzeugt.
  Und tatsächlich
sind die log Axiome
ist ein log Satz p ⊃ p
gar nicht überzeugend, wenn wir als für p Strukturen einsetzen die niemand ursprünglich vorhergesehen hat, als man nämlich ihr ihrer Wahrheit im Anfang, die unbedingte Anerkennung gab.