n实验室物质集合论
从“材料集理论”转向。
材料集理论
上下文
基础
基础
这一切的基础
-
数学逻辑
-
扣除制度,自然扣除,矢列演算,λ-微积分,判断
-
类型理论,简单类型理论,依赖型理论
-
收集,对象,类型,学期,设置,要素
-
平等,判断平等,典型的平等
-
宇宙,规模问题
-
高阶逻辑
集合论
基本公理
删除公理
材料集理论
概述
材料集理论(也称为基于成员的集合论)是的样式集合论具有原始全局成员关系““其中集合的特征仅为”“和命题等式共个集合。(术语“物质”,或至少“物质主义”,至少可以追溯到弗里德曼1997材料集理论与结构集合论(参见。材料与结构集合论)以及既不是结构性的也不是物质性的集合理论。材料集理论是简单排序 集合论.
工具书类
与的关系结构集合论在中进行了讨论
另请参见
上次修订时间:2024年5月17日11:42:57。请参阅历史获取所有贡献的列表。