造集谓词名词解释：逻辑学与集合论的基本概念.它是用以构造集合的元素(个体)所应满足的一种性质.数理逻辑中的谓词是表示一个个体的性质或者两个以上个体之间关系的词.表示一个个体性质的词称为一元谓词.德国数学家康托尔(Cantor,G.(F.P.))当年建立古典集合论的一个重要思想方法,就是任给一个性质P,就能把所有满足性质P且仅由具有性质P的对象汇集在一起而构成一个集合.通常称这种造集的原则为概括原则,而概括原则中所说的那个用以造集的性质P被称为造集谓词.
造集谓词名词解释：逻辑学与集合论的基本概念.它是用以构造集合的元素(个体)所应满足的一种性质.数理逻辑中的谓词是表示一个个体的性质或者两个以上个体之间关系的词.表示一个个体性质的词称为一元谓词.德国数学家康托尔(Cantor,G.(F.P.))当年建立古典集合论的一个重要思想方法,就是任给一个性质P,就能把所有满足性质P且仅由具有性质P的对象汇集在一起而构成一个集合.通常称这种造集的原则为概括原则,而概括原则中所说的那个用以造集的性质P被称为造集谓词.
