意思是：关于形式系统的语义性概念。1993年公布的数学名词。公布时间1993年，经全国科学技术名词审定委员会审定发布。出处《数学名词》第一版。