Aber nehmen wir an, die ‘Axiome’ & ‘Schlußweisen’ seien nicht nur irgendwelche Konstruktionsweisen, sondern sie überzeugten uns auch durchaus von dem Konstruierten! // , sondern auch durchaus überzeugende! // Nun,
61
dann heißt das, daß es Fälle gibt, in denen die Konstruktion aus diesen Bausteinen Bauelementen // Elementen // nicht überzeugt.
     Und tatsächlich sind die logischen Axiome gar nicht überzeugend, wenn wir für die Satzvariablen Strukturen einsetzen, die niemand ursprünglich
vorhergesehen hat, als …
als mögliche Werte vorhergesehen hat
, als man nämlich ihrer der Wahrheit ˇder Axiome (im Anfang) die unbedingte Anerkennung gab.