Eso significa que junto con los axiomas lógicos ordinarios de una teoría de primer orden se introducían símbolos extralógicos (para constantes, funciones y predicados) y ciertos axiomas matemáticos que usaban dichos signos que restringían su comportamiento.