中文
Sign in
AI tools
热门问题
时间线
聊天
Loading AI tools
全部
文章
字典
引用
地图
Plural quantification
来自维基百科,自由的百科全书
Found in articles
分体论 (逻辑学)
的是谓词逻辑的一种应用,又指的是形式本体论的一个分支。 本体论 Gunk 分體本質論 分體虛無主義 Mereotopology
Plural
quantification
Simples Whitehead's point-free geometry (英文) Bunt, Harry, 1985.
空集
Logic and Logic中再次发表)中,小George Boolos认为許多集合論中的結論,也可以透過對个体进行复数量化(英语:
Plural
quantification
)來得到,所以無需把集合具体化為包含其他实体作为元素的实体。 André Weil: Souvenirs d'apprentissage