补充资料：个体变元

个体变元
individual variable

　　个体变元[加‘帕面目怕血旋;，朋，a。皿翻。e一eMe.翻]，对象变元(。坛时~ble) 形式语言(fon刀目lar卿坦罗)中的一种符号，用来表示由这种语言所描述的结构中的任意一个元素.每一种形式语言中都含有一类或几类个体变元，每一类个体变元都有无穷多个.例如，向量空间理论的语言中有两类个体变元，一类表示向量，一类表示标量，而算术理论的语言中只有一类变元，表示非负整数. C .K .Co6o朋B撰【补注】参见个体常且(indi访dual cons加叮t).沈复兴译
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。