目录
50 关系: 势，子集，实变函数论，实直线，实数，布尔代数，并运算，并集，交运算，交集，德摩根定律，利奥波德·克罗内克，分划，冯·诺伊曼全集，函数，公理化集合论，关系 (数学)，元数学，空集，笛卡儿积，策梅洛-弗兰克尔集合论，策梅洛集合论，类 (数学)，继承有限集合，相对有补格，非标准分析，非标准模型，补运算，补集，超限归纳法，自由對象，自然数，零，集合，集合论，恩斯特·策梅洛，格奥尔格·康托尔，模型论，正则公理，朴素集合论，有序对，有限集合，最大元，新基础集合论，文氏图，无穷，数学，数学基础，拓扑空间，替代公理。
- 集合族
- 集合论
势
勢可以指以下意涵的名詞：.
查看 全集和势
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
查看 全集和子集
实变函数论
實分析或實數分析是處理實數及實函數的數學分析。專門實數函數及數列的解析特性，包括實數數列的極限，實函數的微分及積分、連續性，光滑性以及其他相關性質。 實分析常以基礎集合論，函數概念定義等等開始。.
查看 全集和实变函数论
实直线
實直線有如下含義，它們有互相可作補充的部分：.
查看 全集和实直线
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
查看 全集和实数
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
查看 全集和布尔代数
并运算
在数学中，集合上的并(join)可以用两种方式定义：关于这个集合上的偏序的唯一上确界(最小上界)，假定这种上确界存在的话；或者是满足幂等律的交换结合二元运算。在任何一个情况下，这个集合与并运算一起是并半格。两个定义生成等价的结果，除了偏序方式有可能直接的定义更一般的元素的集合的并之外。最常见到并运算的领域是格。 x 和 y 的并通常被指示为 x \lor y。.
查看 全集和并运算
并集
在集合论和数学的其他分支中，一组集合的并集（台湾叫做聯--集、港澳叫做--、大陆叫做--）是这些集合的所有元素构成的集合，而不包含其他元素。.
查看 全集和并集
交运算
在数学中，在一个集合上的交(meet)有两种定义：关于在这个集合上的偏序的唯一下确界(最大下界)，假定下确界存在的话； 或者是满足幂等律的交换结合二元运算。在任何一个情况下，这个集合与交运算一起是半格。这两个定义产生等价的结果，除了在偏序方式中有可能直接定义更一般的元素的集合的交。最常见到交运算的领域是格。 通常把 x 和 y 的交指示为 x \land y。.
查看 全集和交运算
交集
数学上，两个集合A和B的交集是含有所有既属于A又属于B的元素，而没有其他元素的集合。.
查看 全集和交集
德摩根定律
在命题逻辑和逻辑代数中，德摩根定律De Morgan's laws（或称笛摩根定理、对偶律）是关于命题逻辑规律的一对法则。 奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系： 即： 德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知（引自Bocheński《形式逻辑历史》）。.
查看 全集和德摩根定律
利奥波德·克罗内克
利奥波德·克罗内克（Leopold Kronecker，），德国数学家与逻辑学家，出生于西里西亞利格尼茨（现属波兰的莱格尼察），卒于柏林。他认为算术与数学分析都必须以整数为基础，他曾说：“上帝创造了整数，其余都是人做的工作”（Bell 1986, 477页）。这与数学家格奥尔格·康托尔的观点相互对立。克罗内克是恩斯特·库默尔的学生和终身挚友。 以克罗内克命名的数学理论包括克罗内克δ、克罗内克积等。 Kronecker–Weber定理說明若K / \mathbb是有理數集\mathbb的有限阿貝爾擴張，則K是的一個分圓域的子域。 Kronecker引理說明： 若(x_n)_^\infty是一個實數數列，使得 存在且有限，則對於0及b_n \to \infty則有 Category:19世纪数学家 Category:德国数学家 Category:邏輯學家 Category:猶太科學家 Category:柏林洪堡大學教師 Category:柏林洪堡大學校友 Category:德國猶太人 Category:西里西亞人 分类:绅士科学家.
查看 全集和利奥波德·克罗内克
分划
分划是数学中对于全序集的操作。对于给定的全序集A及其中某个元素x而言，将A分拆为两个非空集合，使得两者其一中所有元素（按照顺序）均在x之前、另一中所有元素均在x之后。 常见的是对于全体有理数的操作，即A.
查看 全集和分划
冯·诺伊曼全集
在集合论和有关的数学分支中，冯·诺伊曼全集或冯·诺伊曼集合层次，是由所有集合組成的类，可以分成超限階级的个体集合（a transfinite hierarchy of individual sets）。 它可以用超限归纳法定义为如下：.
查看 全集和冯·诺伊曼全集
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
查看 全集和函数
公理化集合论
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。.
查看 全集和公理化集合论
关系 (数学)
在數學上，關係是對如等於.
查看 全集和关系 (数学)
元数学
元數學（Metamathematics），又譯為超數學，使用數學技術來研究數學本身的一門學科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查德悖论。 比如说，元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。 许多关于数学基础与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。 元数学与数理逻辑休戚相关，因而这两者的发展也大同小异。元数学的发端大概要追溯到弗雷格的工作：《概念文字》。大卫·希尔伯特首先引进了带有正则性的“元数学”（metamathematics with regularity）这一说法（见希尔伯特计划）。这也就是现在所说的证明论。另一个重要的现代分支是模型论。这一领域的其他重要人物有：伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（Paul Benacerraf），普特南，柴汀（Gregory Chaitin），以及最著名的塔斯基和哥德尔。特别地，哥德尔证明了：给定任意有限多条皮亚诺算术的公理，都存在一些正确的命题，无法用所给公理来证明，即所谓的哥德尔不完备定理。某种意义上来说，这一结果是迄今为止元数学与数学哲学的最高成就。.
查看 全集和元数学
空集
集是不含任何元素的集合，數學符號為\empty、\varnothing或\。.
查看 全集和空集
笛卡儿积
在数学中，两个集合X和Y的笛卡儿积（Cartesian product），又称直积，在集合论中表示为X × Y，是所有可能的有序对組成的集合，其中有序對的第一个对象是X的成员，第二个对象是Y的成员。 舉個實例，如果集合X是13个元素的点数集合，而集合Y是4个元素的花色集合，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合。 笛卡儿积得名于笛卡儿，因為這概念是由他建立的解析几何引申出來.
查看 全集和笛卡儿积
策梅洛-弗兰克尔集合论
梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。.
策梅洛集合论
Zermelo集合论，设立自恩斯特·策梅洛在1908年的重要论文，它是现代集合论的祖先。它与它的后代有特定的差别，经常被误解并经常被误引用。本文架设最初的公理，带有最初的文本（从德文译成了英文）和编号。.
查看 全集和策梅洛集合论
类 (数学)
在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.
查看 全集和类 (数学)
继承有限集合
在数学中，继承有限集合被递归的定义为只包含继承有限集合(空集作为基础情况)的有限集合。非形式的说，继承有限集合是其成员也是有限集合，成员的成员也是有限集合以此类推，的有限集合。 它们可以通过如下规则构造: 所有继承有限集合的集合被指示为 Vω。如果我们指示 P(S) 为 S 的幂集，则 Vω 还可以构造如下：首先把空集写为 V0，接着 V1.
查看 全集和继承有限集合
相对有补格
在数学中，相对有补格是一个格 L，在对于所有在 L 中有着 a ≤ b ≤ c 的 a, b, c，有在 L 中的某个 x 使得 x ∨ b.
查看 全集和相对有补格
非标准分析
非標準分析（概念上又可稱為實無限分析）(Non-standard analysis)是一個數學分支，它用嚴格定義的無限小的數（infinitesimal number）的概念來構建分析學。.
查看 全集和非标准分析
非标准模型
在数理逻辑的模型论中，称某理论的模型为非标准模型，如果它与预期模型（或称标准模型）不同构。如果预期模型是无限的, 且使用的语言是一阶的，则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。 非标准模型在集论、非标准分析，以及非标准算术模型中有所研究。 Category:模型论.
查看 全集和非标准模型
补运算
设L是带有最大元素1和最小元素0的有界格。L的两个元素x和y是互补（相互为补元）的，当且仅当： 在这种情况下，它们被指示为¬x.
查看 全集和补运算
补集
在集合论和数学的其他分支中，存在--的两种定义：--和--。.
查看 全集和补集
超限归纳法
超限归纳法（transfinite induction）是数学归纳法向（大）良序集合比如基数或序数的集合的扩展。.
查看 全集和超限归纳法
自由對象
在數學中，自由對象是抽象代數中的基本概念。就其通於各種代數結構（帶有限操作）而言，它也屬泛代數的一支，例子包括自由群、張量代數與自由格。在範疇論的框架下，可以將自由對象推廣為自由函子，這是遺忘函子的左伴隨函子。.
查看 全集和自由對象
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
查看 全集和自然数
零
零可以指：.
查看 全集和零
集合
集合可以指：.
查看 全集和集合
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
查看 全集和集合论
恩斯特·策梅洛
恩斯特·策梅洛（德语：Ernst Friedrich Ferdinand Zermelo，），生于柏林，是德国数学家，其工作主要為数学基础，因而对哲学有重要影响。.
查看 全集和恩斯特·策梅洛
格奥尔格·康托尔
格奥尔格·费迪南德·路德维希·菲利普·康托尔（Georg Ferdinand Ludwig Philipp Cantor，），出生于俄国的德国数学家（波羅的海德國人）。他创立了现代集合论，是實數系以至整个微积分理论体系的基础，還提出了势和良序概念的定義；康托爾確定了在兩個集合中的成員，其間一對一關係的重要性，定義了無限且有序的集合，並證明了實數比自然數更多。康托爾對這個定理所使用的證明方法，事實上暗示了“無限的無窮” 的存在。他定義了基數和序數及其算術。康托爾很清楚地自知自覺他的成果，富有極濃厚的哲學興趣。康托爾提出的超越數，最初被當時數學界同儕認為如此反直覺-甚至令人震驚-因而拒絕接受他的理論，且以利奥波德·克罗内克为首的众多数学家长期攻击。克羅內克反對代數數為可數的，而超越數為不可數的證明。 康托爾本身是一位虔誠的路德派，相信這個理論是經由上帝傳達給他；但一些基督教神學家認為康托爾的理論，是在挑戰神學中只有上帝才具有絕對而唯一的無限性質。康托爾自 1869年任職於德國哈勒大學直到 1918年在哈勒大學附屬精神病院逝世；他的抑鬱症一直再發的病因，被歸咎於當代學界的敵對態度，儘管有人將這些事件解釋為，是他本人所患有的情感雙極障礙的病徵。他所受到的嚴厲攻擊，與後來的讚譽相匹配：在 1904年倫敦皇家學會授予他西爾維斯特獎章，這是皇家學會可授予數學研究者的最高榮譽。 在康托死後數十年，維特根斯坦撰文哀悼昔時學術界指責「集合論是假借通過數學而有害處的方言」的氛圍，他認為那是「可笑」和「錯誤」的「完全無稽之談」。当代数学家绝大多数接受康托尔的理论，并认为这是数学史上一次重要的变革。大卫·希尔伯特說：「沒有人能夠把我們從康托爾建立的樂園中趕出去。」（原文另譯：我們屏息敬畏地自知在康托所鋪展的天堂裡，不會遭逢被驅逐出境的。）.
查看 全集和格奥尔格·康托尔
模型论
数学上，模型论(Model theory)是从集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和（或）函数，例如。若我们在该语言中问"∃ y (y × y.
查看 全集和模型论
正则公理
#重定向 正则性公理.
查看 全集和正则公理
朴素集合论
在纯数学中，朴素集合论是是探討数学基础時，用到的幾個集合論中的一個，朴素集合论主要是將用一般語言的形式處理集合問題，依赖於把集合作为叫做这个集合的“元素”或 “成员”的搜集（collection），未有形式化的理解。和用公理定義而產生的公理化集合论不同。 而公理化集合论只使用明确定义的公理列表，還有從中证明的关于集合和成员关系的種種事实，公理起源自对对象的搜集和它们的成员的理解，但为了各种目的而被謹慎地构建，例如是避免已知的各種悖论，例如理发师悖论－一個理髮師他只為（而且一定要為）城裡所有不為自己刮鬍子的人刮鬍子，那理髮師該為自己刮鬍子嗎？ 集合在数学中是极其重要的；事實上，採用现代的形式化定義，多種数学对象（数、关系、函数等等）都可以用集合来構建。.
查看 全集和朴素集合论
有序对
在数学中，有序对是两个对象的搜集，使得可以区分出其中一个是“第一个元素”而另一个是“第二个元素”（第一个元素和第二个元素也叫做左投影和右投影）。带有第一个元素a和第二个元素b的有序对通常写为(a, b)。 符号(a, b)也表示在实数轴上的开区间；在有歧义的场合可使用符号\langle a,b\rangle。.
查看 全集和有序对
有限集合
数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
查看 全集和有限集合
最大元
设(A, \leq)是偏序集，B \subseteq A，y \in B，若对于所有的x，x \in B~\implies~x \leq y，则称y为B的最大元。 请注意最大元和极大元的区别。最大元是B中最大的元素，它与B中其它元素都可比；而极大元不一定与B中其它元素都可比，只要没有比它大的元素，它就是极大元。对于有穷集合B，极大元一定存在，但最大元不一定存在。最大元如果存在一定是唯一的，但极大元可能有多个。.
查看 全集和最大元
新基础集合论
在数理逻辑中，新基础集合論（NF）是公理化集合論的一種，由蒯因构想出來作为对《数学原理》中类型论的简化。蒯因1937年於《数理逻辑的新基础》一文中首次提及NF（此即其名稱的由來）。請注意，此条目大多是在談论NFU，這是Jensen於1969年所提出，並由Holmes於1998年闡述的一重要变体。.
查看 全集和新基础集合论
文氏图
文氏图（Venn diagram），或译Venn圖、--、维恩圖、范氏圖，是在所谓的集合论（或者类的理论）数学分支中，在不太严格的意义下用以表示集合（或类）的一种草图。它们用于展示在不同的事物群组（集合）之间的数学或逻辑联系，尤其适合用来表示集合（或）类之间的“大致关系”，它也常常被用来帮助推导（或理解推导过程）关于集合运算（或类运算）的一些规律。.
查看 全集和文氏图
无穷
無窮或無限，來自於拉丁文的「infinitas」，即「沒有邊界」的意思。其數學符號為∞。它在科學、神學、哲學、數學和日常生活中有著不同的概念。通常使用這個詞的時候並不涉及它的更加技術層面的定義。 在神學方面，根據書面記載無窮這個符號最早被用於某些秘密宗教，通常代表人類中的神性，而書寫此符號時兩圓的不對等代表人神間的差距，例如神學家邓斯·司各脱（Duns Scotus）的著作中，上帝的無限能量是運用在無約束上，而不是運用在無限量上。在哲學方面，無窮可以歸因於空間和時間。在神學和哲學兩方面，無窮又作為無限，很多文章都探討過無限、絕對、上帝和芝諾悖論等的問題。 在數學方面，無窮與下述的主題或概念相關：數學的極限、阿列夫數、集合論中的類、、羅素悖論、超實數、射影幾何、擴展的實數軸以及絕對無限。在一些主題或概念中，無窮被認為是一個超越邊界而增加的概念，而不是一個數。.
查看 全集和无穷
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 全集和数学
数学基础
数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为真? 目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。實際上，幾乎所有现在的数学定理都可以表述為集合论下的定理。在这个观点下，所謂数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。 这个形式化的方法不能解释一些问题：为什么我们應沿用现行的公理而不是別的，为什么我们應沿用现行的逻辑规则而不是別的，为什么"真"数学命题（例如，算術領域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。 上述的形式化真实性也可能完全没有意义：有可能所有命题，包括自相矛盾的命题，都可以从集合论公理导出。而且，作为歌德尔第二不完备定理的一个结果，我们永远無法排除這種可能性。 在數學實在論（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类发现。在这种观点下，自然定律和数学定律有類似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了數學基础。但，显然的问题在于，我们如何接触这个世界？ 一些数学哲学的现代理论不承认這種數學基础的存在性。有些理论倾向于專注，並試圖把数学家的实際工作視為一種社會群體來作描述和分析。也有理論试图创造一个，把数学在"现实世界"中的可靠性歸結為人類的認知。这些理论建议只在人类的思考中找到基础，.
查看 全集和数学基础
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
查看 全集和拓扑空间
替代公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个映射（泛函谓词）下的像也是一个集合。它对于构造特定的大集合是必需的。.
查看 全集和替代公理
另见
集合族
集合论
- ZFC系統無法確定的命題列表
- 传递集合
- 全序关系
- 全集
- 共尾性
- 可定义数
- 基数指派
- 外延
- 外延性
- 對角論證法
- 层化
- 并集
- 幾乎
- 序數算術
- 康托尔定理
- 支撑集
- 数学结构
- 有限交集性质
- 朴素集合论
- 树 (集合论)
- 等价类
- 类 (数学)
- 继承可数集合
- 继承有限集合
- 连续统
- 连续统的势
- 配对函数
- 闭包 (数学)
- 集合 (数学)
- 集合建構式符號
- 集合论