集合论语言

集合论语言(language of set theory)是一种形式语言，即用于描述公理集合论理论体系的形式语言.通常所说的集合论语言是由可列个自由变元、可列个约束变元、二元谓词符号〔、逻辑符号}， V ， 八，~，。