En primerías se pensaba que qualsiquier teoría podría axiomatizar-se y formalizar-se, pero dimpués se contrimostró que no. En a parla matematica a ormino se gosa parlar d'os axiomas no-lochicos simplament como axiomas, pero isto no significa que sigan verdaders en un sentiu absoluto.