定义1.4 由一些符号形成的一个非空集称为一张字母表，记作A或B等.

例如，26个大写英语字母组成的一张字母表为A′={A，B，C，…，X，Y，Z}.26个小写英语字母组成的一张字母表为B={a，b，c，…，x，y，z}.又如，汉语拼音的声母组成的一张字母表C={b，p，m，…，y，w}，汉语拼音的韵母组成的字母表D={a，o，e，…，ong}.集合{+，-，×，÷，x，y，z，a，b，c}和集合{∈}也都是字母表.

定义1.5 一阶语言L的字母表为：

甲类：v，v0，v1，v2，…；

乙类：T，F，⇁，∨；

丙类：∀，∃；

丁类：，，（，）；(www.daowen.com)

戊类：对于每个大于等于1的自然数n，Pn，Qn，Rn，…（可以没有）；

己类：c，c0，c1，c2，…（可以没有）.

这里，甲类符号表示可数无穷多个个体变项；乙类符号表示逻辑联结词；丙类符号表示量词，其中∀为全称量词符号，∃为存在量词符号；丁类符号是技术性符号，表示一对括号和一个逗号，它们起标点的作用；戊类符号表示无穷多个n元谓词或关系符号；己类符号表示无穷多个个体常项.

约定：用A0表示甲～丁类符号中所有符号的集合，用S表示戊类和己类中所有符号的集合.S可以是空集，并且A0∩S=∅，称AS=A0∪S为由S所确定的一个一阶语言L的符号集.

对任何一个一阶语言L来说，A0都是不变的，所以甲～丁类符号又叫做逻辑符号.S是可变的，戊～己类符号又叫做非逻辑符号.给定S以后，也就确定了一个一阶语言L.S不同，所确定的一阶语言也不同.因此，我们将由符号集S确定的一阶语言L记作LS.今后，我们说给定一个一阶语言LS，就是给定了LS的符号集S.需要注意的是，如果语言LS中有二元关系符号=（等词），则也把它作为逻辑符号。

约定：用字母x，y，z，u，v，w，…（或加下标）表示语法变项，它们的值是任一个体变项；用字母F，G，H，P，Q，R，…（或加下标）表示语法变项，它们的值是任一（n元）谓词符号.