表示个体的符号表达式。在没有函数词的系统中，项包括个体变元和个体常元。在有函数词的系统中，除个体变元和个体常元外，还有把函数作用于已有的项而生成新的项。设t，t，…，t是项，f是n元函数，那末f(t，t，…，t)是项。在一形式语言中，项可以定义如下：①个体变元和个体常元是项；②若t，t，…，t是项，f是n元函数，则f(t，t，…，t)是项；③只有①、②两条生成的是项。