类
数学
反馈
谢谢您的反馈
我们的编辑将审阅你所提交的内容,并决定是否修改文章。
外部网站
了解本主题在这些文章中:
坎托里亚集合论
-
他们很少开发出处理无限类的工具,也没有人系统地考虑类的元素本身就是类的可能性,这是坎托里安集合理论的一个关键特征。“真实的”或“封闭的”无限事物的概念,而不是……
阅读更多
Leśniewski mereology
- 在stanissawle涅夫斯基:主要的逻辑工作
一个分配阶级和一个集体阶级在分布用法中,类表达式与通用名称相同;因此,说一个人属于波兰人的阶级,就是说这个人是波兰人。因此,本体论(,“存在”)是名称的逻辑;而且,……
阅读更多 - 在mereology
莱茨涅夫斯基,他试图阐明阶级的表现形式,并将部分与整体的关系理论化。它试图解释伯特兰·罗素的悖论,即所有这些阶级都不是他们自己的元素。列涅夫斯基声称,分配的和集体的应该有所区别。
阅读更多
集理论
-
理论是一种阶级的逻辑。任何类型的对象的集合(有限或无限)或聚集,这些对象被称为所讨论的类的成员。一些逻辑学家交替使用术语“类”和“集”;其他人则对它们进行区分,将集合(例如)定义为类……
阅读更多 - 在集合论:Neumann-Bernays-Gödel公理
NBG中有两个未定义的概念:类和成员的二元关系∊(尽管在ZFC中也是如此,∊就足够了)。对于预期的解释,变量将类(与某些属性对应的总和)作为值。一个类被定义为一个集合,如果它是某个…
阅读更多
符号可拓逻辑
-
类的逻辑或代数(兰伯特的一位通讯员,格奥尔格·冯·霍兰德,曾试验过一种外延理论,1839年,英国作家托马斯·索利在《论》中提出了一种外延逻辑《逻辑学大纲》,虽然不是代数的。)
阅读更多