Man sagt gewöhnlich, daß die Anwendung eines Axiomsystems darin
liegt
besteht
, 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 von 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.