项 又生成的一阶语言的”项归纳定义如下 1.个体变元符号和中的个体常元符号都是项; 2.若m是中一个m元函数符号,t1,t2,…,tm是 C中项,则严m(t1,t2,…,tm)是中项; 3每个项都是有限次应用(1)和(2)得到的 ”项”相当于”复合个体”L ✓ ” ” : 1. L ; 2. fm L ✓ m , t1, t2, · · · , tm L , fm(t1, t2, · · · , tm) L ; 3. (1) (2) . ” ” ” ”. 6