0是-1与1之间的整数，也是一个偶数。0既不是正数也不是负数。在数论中，0不属于自然数；但在集合论和计算机科学中，0属于自然数。0在整数、实数和其他的代数结构中都有着单位元这个很重要的性质。
艾普塞朗数ε乃是数学集合论中一系列的超限数，其为指数映射的某些固定点。因此，它并不能透过较小序数有限次数的加法及乘法运算而获得。格奥尔格·康托尔原来引进的艾普塞朗数，乃以以下的方式定义:-
直觉类型论，也可简称类型论，此外也有构造类型论或马汀-洛夫类型论称呼。是基于数学构造主义的函数式编程语言、逻辑和集合论。
0是-1与1之间的整数，也是一个偶数。0既不是正数也不是负数。在数论中，0不属于自然数；但在集合论和计算机科学中，0属于自然数。0在整数、实数和其他的代数结构中都有着单位元这个很重要的性质。
数学上，二元关系用于讨论两种物件的连系。诸如算术中的“大于”及“等于”、几何学中的“相似”或集合论中的“为……之元素”、“为……之子集”。
势，也称浓度在数学里是指如果存在着从集合A到集合B的双射，那么集合A与集合B等势，记为A~B。一个有限集的元素个数是一个自然数，势标志着该集合的大小。对于有限集，势为其元素的数量。比较无穷集里元素的多寡之方法，可在集合论里用集合的等势和某集合的势比另一个集合大这两个概念来达到目的。
尼古拉·布尔巴基是20世纪一群法国数学家的笔名。他们由1935年开始撰写一系列述说对现代高等数学探研所得的书籍。以把整个数学建基于集合论为目的，在过程中，布尔巴基致力于做到最极端的严谨和泛化，建立了些新术语和概念。
在集合论和数学的其他分支中，一组集合的并集，是这些集合的所有元素构成的集合，而不包含其他元素。
费利克斯·豪斯多夫，德国数学家。他是拓扑学的创始人之一，并且对集合论和泛函分析都贡献不少。他定义和研究偏序集、豪斯多夫空间和豪斯多夫维，证明豪斯多夫极大定理。他以笔名Paul Mongré出版哲学和文学作品。
费利克斯·豪斯多夫，德国数学家。他是拓扑学的创始人之一，并且对集合论和泛函分析都贡献不少。他定义和研究偏序集、豪斯多夫空间和豪斯多夫维，证明豪斯多夫极大定理。他以笔名Paul Mongré出版哲学和文学作品。
Mini wiki
