像命题逻辑，每个语言除了选定的命题变数不同之外，其他都一样，一阶逻辑则存在着许多不同的一阶语言。每个一阶语言都可以由标识来定义。标识是由一组非逻辑符号所组成的，且将每个符号识别为常数符号、函数符号或谓词符号。在函数符号及谓词符号里，也会被指派给一个自然数元数。这类形式语言的字母表即是由逻辑常数、等式关系符号 = 、所有在标识中的符号，以及额外一组无限多的符号（称为变数）所组成的。例如，在环的语言里，有常数符号0 和1、两个二元函数符号+ 和·，且没有二元关系符号。（此处，等式关系被视成是一个逻辑常数。）