非逻辑符号所组成的，且将每个符号识别为常数符号、函数符号或谓词符号。在函数符号及谓词符号里，也会被指派给一个自然数元数。这类形式语言的字母表即是由逻辑常数、等式关系符号 = 、所有在标识中的符号，以及额外一组无限多的符号（称为变数）所组成的。例如，在环的语言里，有常数符号0 和1、两个二元函数符号+ 和·，且没有二元关系符号。（此处，等式关系被视成是一个逻辑常数。）
一阶逻辑的形式语言.给定一标识σ，其对应的形式语言即为由σ-公式组成的集合。每个σ-公式都是由原子公式以逻辑联结词