El lenguaje de una teoría formal de primer orden está compuesto por una cantidad —a lo sumo— numerable de signos, como por ejemplo: