Al formalizar teorías de primer orden particulares (como la aritmética de Peano) se agregan axiomas "no-lógicos" específicos, es decir axiomas que no se consideran verdades de la lógica pero sí verdades de una teoría particular.