Die Axiome – z.B. – der euklidischen Geometrie sind verkappte Regeln einer Syntax. Das wird sehr klar, wenn man zusieht, was ihnen in der analytischen Geometrie entspricht.