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, 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 als mögliche Werte vorhergesehen hat || vorhergesehen hat, als mögliche Werte, als man nämlich ihrer Wahrheit || der Wahrheit der Axiome (im Anfang) die unbedingte Anerkennung gab.