一种一阶逻辑的语言。这种做法现在依然很常见，尤其是在哲学方面的书籍。在当代的数理逻辑里，标识会因应用的不同而不同。数学里的典型标识，在群里为{1, ×}，或只为{×}；在有序体里为{0, 1, +, ×, <}。并没有限制非逻辑符号的数量，标识可以是空的、有限、无限，甚至是不可数的。例如，在勒文海姆–斯科伦定理的证明之中即会出现不可数的标识。根据最近的做法，每个非逻辑符号皆为下列两种类型的其中一种。如何分辨断言符号与函数符号？
形成规则.形成规则定义一阶逻辑的项及公式。