O conjunto dos é a parte de uma linguagem de
primeira ordem que informa a sua “área de especialidade” (além da expressividade geral). Uma idéia análoga pode ser vista na distinção entre axiomas lógicos e os axiomas “próprios”, “profissionais” da teoria específica que se está axiomatizando ou investigando.
Os símbolos não-lógicos são estruturados de acordo com a
assinatura adotada. Eles são os símbolos de função e os símbolos de relação (predicados) dessa assinatura e cada um deles (seja símbolo de relação ou de função) tem uma
aridade. As
constantes, por serem funções 0-árias, são também símbolos não-lógicos.