Et førsteordens språk er et tripel , hvor er en mengde konstantsymboler, er en mengde funksjonssymboler, og er en mengde relasjonssymboler. Assosiert med hvert funksjon- og relasjonssymbol er ariteten, som er et naturlig tall som forteller hvor mange argumenter symbolet forventer.