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
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.