补充资料：公式

公式
formula

　　公式[伽丽词匕;中opMy月a} 形式化语言(fol们llb双划langi‘ge)中的一个句子(可能带有参数).在几种专有的形式化语言中公式概念的精确定义可见公理集合论(axl0Inatic Set thoory)，形式算术(a月thn犯tic，fon了以1)，谓词演算(p代过i以te口Ic山LIS)，类型论(ty娜，tl袱〕ryof).在数学的实践中，公式也有语义的意义.它们可能是名字、命题的形式、定义的缩写等等.B.H.r钾也“撰卢景波译
　　

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