Man sagt gewöhnlich, daß die Anwendung eines Axiomsystems darin besteht || liegt, daß man von der tatsächlichen Wahrheit der Axiome überzeugt ist. Aber was heißt es z.B. von der Wahrheit von ‘p ⊃ p’ überzeugt zu sein? – Man stellt sich also die Axiome vor, als wären sie eine Art von Prinzipien der Mechanik: Erkennt man sie an so erkennt man z.B. an, daß ein Körper im Zustand der Ruhe, oder – etc. etc.