Quasi qualsiquier teoría matematica moderna s'alazeta en un conchunto d'axiomas no-lochicos. En primerías se pensaba que qualsiquier teoría podría axiomatizar-se y formalizar-se, pero dimpués se contrimostró que no.