之间序数和类型论相似
等价类
在数学中，假設在一个集合X上定義一个等价关系（用 \sim來表示），则X中的某個元素a的等价类就是在X中等价于a的所有元素所形成的子集: 等价类的概念有助于从已经构造了的集合构造新集合。在X中的给定等价关系 \sim的所有等价类的集合表示为X/ \sim并叫做X除以\sim的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是，如果X是有限的并且等价类都是等势的，则X/ \sim的序是X的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合X。 对于任何等价关系，都有从X到X/ \sim的一个规范投影映射\pi，给出为\pi(x).
数学原理
《数学原理》（Principia Mathematica）是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍，书籍共分三卷，分别出版于1910年，1912年，1913年。 它通常缩写為PM (Principia Mathematica)，企图表述所有数学真理在一组数理逻辑內的公理和推理规则下，原则上都是可以证明的。因此这一雄心勃勃的项目對於数学史和哲学史都是非常重要的，然而在1931年，哥德尔不完备性定理证明對於数学原理或其他任何類似的尝试，这个崇高的目标皆永远无法达到; 也就是说，任何尝试以一组公理和推理规则來建立的数学系統，若非不一致，便是不完備 (即存在一些数学真理不能由此系統推导出來)。 数学原理的一个主要的灵感和动机来自于逻辑学家戈特洛布·弗雷格的工作,但伯特兰·罗素发现其允许建设有矛盾的集合（罗素悖论）。数学原理排除无限制创建任意的集合來试图避免这个问题,它以不同“类型”的集合來取代一般的集合,一组特定类型的集合只能包含套較低的类型。然而在当代数学,會使用如Zermelo-Fraenkel的集合理论体系,來避免如罗素的笨拙方式,。 现代图书馆它排在二十世纪英文非小说书籍中的第23名。.
上面的列表回答下列问题
- 什么序数和类型论的共同点。
- 什么是序数和类型论之间的相似性
序数和类型论之间的比较
序数有48个关系，而类型论有27个。由于它们的共同之处2，杰卡德指数为2.67% = 2 / (48 + 27)。
参考
本文介绍序数和类型论之间的关系。要访问该信息提取每篇文章，请访问：