比浏览器更快的访问！
50 关系: 域，基数，单射，单元素集合，单调函数，可替代的集合论，史丹佛哲學百科全書，双射，合式公式，外延公理，奎因，层化，布尔代数，布拉利-福尔蒂悖论，序类型，序数，康托尔定理，康托尔悖论，分类公理，冯诺伊曼-博内斯-哥德尔集合论，函数，全集，公理化集合论，关系，关系 (数学)，王浩 (数学家)，策梅洛-弗兰克尔集合论，等势，等价类，类 (数学)，类型论，罗素公理体系，罗素悖论，相容性，相似，补集，諾伯特·維納，超限归纳法，自然数的集合论定义，良序关系，集合论，ZF，投影，正集合论，朴素集合论，有序对，戈特洛布·弗雷格，悖论，数学原理，数理逻辑。
域
域（field）可以指：.
基数
基数或量數可以指：.
单射
在數學裡，單射函數（或稱嵌射函數，國家教育研究院雙語詞彙、學術名詞暨辭書資訊網、一對一函數，英文稱 injection、injective function或 one-to-one function）為一函數，其將不同的輸入值對應到不同的函數值上。更精確地說，函數f被稱為是單射的，當對每一陪域內的y，存在至多一個定義域內的x使得f(x).
单元素集合
数学上，单元素集合是由唯一一个元素组成的集合。例如，集合 是个单元素集合。注意，集合诸如 也是单元素集合，唯一的元素是一个集合（这个集合可能本身不是单元素集合）。 一个集合是单元素集合，当且仅当它的势为1。在自然数的集合论定义中，数字 1 就是定义为单元素集合 。 在公理集合论中，单元素集合的存在性是空集公理和对集公理的结果：前者产生了空集 ，后者应用于对集 和 ，产生了单元素集合 。 若 A 是任意集合，S 是单元素集合，则存在唯一一个从 A 到 S的函数，该函数将所有 A 中的元素映射到 S 的单元素。 在范畴论中，单元素集合上构建的结构通常作为终对象或零对象：.
新！!: 新基础集合论和单元素集合 · 查看更多 »
单调函数
在数学中在有序集合之间的函数是单调（monotone）的，如果它们保持给定的次序。这些函数最先出现在微积分中后来推广到序理论中更加抽象结构中。尽管概念一般是一致的，两个学科已经发展出稍微不同的术语。在微积分中，我们经常说函数是单调递增和单调递减的，在序理论中偏好术语单调、反单调或序保持、序反转。.
新！!: 新基础集合论和单调函数 · 查看更多 »
可替代的集合论
一般來講，可替代的集合论（an alternative set theory）是指建立集合概念的其它数学方法。它的正是作為標準集合論的替代而出現的。 一些可替代的集合论：.
新！!: 新基础集合论和可替代的集合论 · 查看更多 »
史丹佛哲學百科全書
史丹佛哲學百科全書（Stanford Encyclopedia of Philosophy，SEP）是一部由史丹佛大學營運的免費線上哲學百科全書，內容主要以經同行評審認可的論文為主。該百科內的每一篇論文均由一位該領域的專家撰寫並維護，作者涵蓋來自世界各地徐術機構的教授。每一位在該百科全書上發表文章的作者均同意將作品的出版權讓與史丹佛大學，但作者仍可保有著作權。.
新！!: 新基础集合论和史丹佛哲學百科全書 · 查看更多 »
双射
數學中，一個由集合X映射至集合Y的函數，若對每一在Y內的y，存在唯一一個在X內的x与其对应，則此函數為對射函數。 換句話說，f為雙射的若其為兩集合間的一一對應，亦即同時為單射和滿射。 例如，由整數集合\Z至\Z的函數\operatorname，其將每一個整數x連結至整數\operatorname(x).
合式公式
在形式系統與逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。 例如，在命题演算中符号序列((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))是一个WFF，因为它在文法上正确。符号序列((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))不是WFF，因为它不符合命题演算的文法。 在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。.
新！!: 新基础集合论和合式公式 · 查看更多 »
外延公理
在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理是 Zermelo-Fraenkel 集合论的公理之一。.
新！!: 新基础集合论和外延公理 · 查看更多 »
奎因
奎因、奎恩、昆恩、蒯因（Kween、Queen、Quin、Quine、Quinn）可以指：.
层化
在数学中层化有多种用法。.
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
新！!: 新基础集合论和布尔代数 · 查看更多 »
布拉利-福尔蒂悖论
在集合論此一數學領域裡，布拉利-福爾蒂悖論斷言，樸素建構「所有序數的集合」會導致矛盾，因此每個允許此一構造的系統都會顯得自相矛盾。此一悖論是以切薩雷·布拉利-福爾蒂來命名的，他在1897年發現了此一悖論。.
新！!: 新基础集合论和布拉利-福尔蒂悖论 · 查看更多 »
序类型
在数学中，特别是集合论中，序数可以用来标记(label)任何给定良序集合的元素(最小元素标记为 0，次小标记为 1，再次是 2，以此类推)，并通过未用来标记这个集合的元素的最小的序数来测量整个集合的“长度”。这个集合的“长度”叫做序类型。 序数表示良序集合的等价类，这里的等价关系是序同构。这样的序数是在等价类中任何集合的序类型。 更加形式的说，良序集合的序类型是唯一的序数，对于它有在序数和良序集合之间的一个序保持双射。 例如，考虑小于 ω·2+7 的偶序数的集合: 它的序类型是 ω·2+4，也就是.
新！!: 新基础集合论和序类型 · 查看更多 »
序数
數學上，序數是自然數的一種擴展，與基數相對，著重於次序的性質。大於有限數的序數也稱作超限序數。 超限序数是由數學家格奥尔格·康托尔于1897年引入，用來考慮無窮序列，並用來對具有序结构的無窮集進行分類。.
康托尔定理
康托尔定理指的是在Zermelo-Fränkel集合论中，声称任何集合A的幂集（所有子集的集合）的势严格大于A的势。康托尔定理对于有限集合是明显的，但是令人惊奇的是它对于无限集合也成立。特别是，可数无限集合的幂集是不可数无限的。要展示康托尔定理的对于无限集合的有效性，只需要测试一下下面证明中无限集合。.
新！!: 新基础集合论和康托尔定理 · 查看更多 »
康托尔悖论
在数学中，康托尔悖论是集合论的一个定理，即没有最大的基数，所以“无限大小”的搜集自身是无限的。进一步的，从这个事实得出这个搜集不是集合而是真类；在von Neumann-Bernays-Gödel集合论中从这个事实得出大小限制公理，即这个真类和所有集合的集合之間存在雙射。所以，不只是有无限多个无限，而是这个无限大于无限的任何枚举。 这个悖论以德國數學家格奥尔格·康托尔命名，他在1899年（或在1895年到1897年之间）首先提出了它。像多数数学悖论一样，它实际上不是矛盾，而是在关于无限本质和集合概念的情况下错误直觉的体现。换个方式说，它在朴素集合论中的确是悖论，從而证实了这个理论对数学發展的需要是不充足的。在其後的各個公理化集合論中，這個悖論已經被解決。.
新！!: 新基础集合论和康托尔悖论 · 查看更多 »
分类公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，分类公理模式、或分离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括。 假定 P 是不含符号 B 的一个單变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做： 换句话说： 要理解这个公理模式，注意集合 B 必须是 A 的子集。所以，这个公理模式实际上说的是，给定集合 A 和谓词 P，我们可以找到 A 的子集 B，它的成员正是那些满足 P 的 A 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建構式符号把它指示为 。所以这个公理的本质是： 分类公理模式是与 ZFC 集合论有关的公理集合論系統的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基礎集合論和正集合论使用对朴素集合论的概括公理的不同的限制。Vopenka 的可替代的集合论有一个特殊要点，它允许集合的真子类的存在，這樣的真類叫做半集合。即使在与 ZFC 有关的系统中，这个公理模式有时也限制于带有的公式，比如在中。.
新！!: 新基础集合论和分类公理 · 查看更多 »
冯诺伊曼-博内斯-哥德尔集合论
在数学基础中，冯·诺伊曼-博内斯-哥德尔集合论（von Neumann–Bernays–Gödel Set Theory，NBG）是设计生成同Zermelo-Fraenkel 集合论与选择公理一起（ZFC）同样结果的集合论公理系统，但只有有限数目的公理，即是不使用公理模式。 NBG首先由冯·诺伊曼在1920年代提出，從1937年开始由作修改，在1940年由哥德尔进一步简化。 不像ZFC，NBG只有有限多个公理。Richard Montague在1961年证明，不可能找到在逻辑上等价于ZFC的有限数目的公理；因此NBG的语言有能力谈论真类同谈论集合一样，并且关于集合的陈述在NBG中是可证明的，当且仅当它在ZFC中是可证明的（就是说NBG是ZFC的保守扩展）。.
新！!: 新基础集合论和冯诺伊曼-博内斯-哥德尔集合论 · 查看更多 »
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
全集
数学上，特别是在集合论和数学基础的应用中，全类（若是集合，则为全集）大约是这样一个类，它（在某种程度上）包含了所有的研究对象和集合。.
公理化集合论
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。.
新！!: 新基础集合论和公理化集合论 · 查看更多 »
关系
关系的基本含义为事物之间相互作用、相互影响的状态，特定环境下可以指：.
关系 (数学)
在數學上，關係是對如等於.
新！!: 新基础集合论和关系 (数学) · 查看更多 »
王浩 (数学家)
王浩（）是一位美籍华裔哲學家、數理邏輯學家。.
新！!: 新基础集合论和王浩 (数学家) · 查看更多 »
策梅洛-弗兰克尔集合论
梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。.
新！!: 新基础集合论和策梅洛-弗兰克尔集合论 · 查看更多 »
等势
在数学领域中，两个集合 A 和 B 是等势的(equinumerous)，当它们有相同的势的时候，就是说如果存在一个双射 f: A → B。这通常指示为 两个有限集是等势的，当且仅当它们的元素个数相等。 例如， 势的研究中经常叫做等势性(equinumerosity)。有时还使用术语 equipotent 或 equipollent。 在集合范畴中，带有函数作为态射的所有集合的范畴，在两个集合之间的同构正好是一个双射，而两个集合正好是等势的，如果它们在这个范畴中是同构的。.
等价类
在数学中，假設在一个集合X上定義一个等价关系（用 \sim來表示），则X中的某個元素a的等价类就是在X中等价于a的所有元素所形成的子集: 等价类的概念有助于从已经构造了的集合构造新集合。在X中的给定等价关系 \sim的所有等价类的集合表示为X/ \sim并叫做X除以\sim的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是，如果X是有限的并且等价类都是等势的，则X/ \sim的序是X的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合X。 对于任何等价关系，都有从X到X/ \sim的一个规范投影映射\pi，给出为\pi(x).
新！!: 新基础集合论和等价类 · 查看更多 »
类 (数学)
在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.
新！!: 新基础集合论和类 (数学) · 查看更多 »
类型论
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。 在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。.
新！!: 新基础集合论和类型论 · 查看更多 »
罗素公理体系
没有描述。
新！!: 新基础集合论和罗素公理体系 · 查看更多 »
罗素悖论
罗素悖论（Russell's paradox），也称为理发师悖论，是英國哲學家罗素於1901年提出的悖论，一个关于类的内涵问题。罗素悖论当时的提出，造成了第三次数学危机。.
新！!: 新基础集合论和罗素悖论 · 查看更多 »
相容性
#重定向 一致性 (邏輯).
新！!: 新基础集合论和相容性 · 查看更多 »
相似
#重定向 相似 (幾何).
补集
在集合论和数学的其他分支中，存在--的两种定义：--和--。.
諾伯特·維納
諾伯特·維納（Norbert Wiener，），生於美國密蘇里州哥倫比亞，美国應用數學家，在電子工程方面貢獻良多。他是隨機過程和噪声信号处理的先驅，又提出「控制論」一詞。.
新！!: 新基础集合论和諾伯特·維納 · 查看更多 »
超限归纳法
超限归纳法（transfinite induction）是数学归纳法向（大）良序集合比如基数或序数的集合的扩展。.
新！!: 新基础集合论和超限归纳法 · 查看更多 »
自然数的集合论定义
已经提出了多种使用集合论定义自然数的方式。.
新！!: 新基础集合论和自然数的集合论定义 · 查看更多 »
良序关系
在数学中，集合S上的良序关系（或良序）需要满足：1.是在S上的全序关系2.
新！!: 新基础集合论和良序关系 · 查看更多 »
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
新！!: 新基础集合论和集合论 · 查看更多 »
ZF
ZF可以指：.
投影
在线性代数和泛函分析中，投影是从向量空间映射到自身的一种线性变换，是日常生活中“平行投影”概念的形式化和一般化。同现实中阳光将事物投影到地面上一样，投影变换将整个向量空间映射到它的其中一个子空间，并且在这个子空间中是恒等变换。.
正集合论
在數理邏輯中，一種 作為替代的集合論 稱為一種正集合論（Positive set theory），如果分離公.
新！!: 新基础集合论和正集合论 · 查看更多 »
朴素集合论
在纯数学中，朴素集合论是是探討数学基础時，用到的幾個集合論中的一個，朴素集合论主要是將用一般語言的形式處理集合問題，依赖於把集合作为叫做这个集合的“元素”或 “成员”的搜集（collection），未有形式化的理解。和用公理定義而產生的公理化集合论不同。 而公理化集合论只使用明确定义的公理列表，還有從中证明的关于集合和成员关系的種種事实，公理起源自对对象的搜集和它们的成员的理解，但为了各种目的而被謹慎地构建，例如是避免已知的各種悖论，例如理发师悖论－一個理髮師他只為（而且一定要為）城裡所有不為自己刮鬍子的人刮鬍子，那理髮師該為自己刮鬍子嗎？ 集合在数学中是极其重要的；事實上，採用现代的形式化定義，多種数学对象（数、关系、函数等等）都可以用集合来構建。.
新！!: 新基础集合论和朴素集合论 · 查看更多 »
有序对
在数学中，有序对是两个对象的搜集，使得可以区分出其中一个是“第一个元素”而另一个是“第二个元素”（第一个元素和第二个元素也叫做左投影和右投影）。带有第一个元素a和第二个元素b的有序对通常写为(a, b)。 符号(a, b)也表示在实数轴上的开区间；在有歧义的场合可使用符号\langle a,b\rangle。.
新！!: 新基础集合论和有序对 · 查看更多 »
戈特洛布·弗雷格
弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.
新！!: 新基础集合论和戈特洛布·弗雷格 · 查看更多 »
悖论
悖論，亦稱為弔詭或詭局，是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论，似非而是称为佯谬；有时候违背直觉的正确论断也称为悖论。悖论的英文paradox一詞，来自希腊语παράδοξος ，paradoxos，意思是“未预料到的”，“奇怪的”。 如果承认它是真的，经过一系列正确的推理，却又得出它是假的；如果承认它是假的，经过一系列正确的推理，却又得出它是真的。古今中外有不少著名的悖论，它们震撼了逻辑和数学的基础，激发了人们求知和精密的思考，吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。 paradox其實亦有“似非而是”的解釋。即是用普通常識看上去不正確，但其實是正確或是有可能的。例如“站著比走路更累”。一般常識是走路比站著累，但要一個人例如在公園裡站一個小時，他可能寧願走動一個小時。因為“站著比走路更累”。也例如狹義相對論裡面的雙生子佯謬亦是另外一個例子。 佛法中也有釋迦牟尼佛破外道悖論的例子：如《大智度論》卷一中舉出長爪梵志的例子：長爪梵志提倡一種“一切法不受”的主張，其意思是說他不接受世間一切理論。釋迦牟尼佛就問他：「你接不接受你自己所建立的這個“一切法不受”的理論？」長爪梵志像一匹千里馬一樣有智慧，不必等到鞭子打到身上才起跑，只看到鞭影覺悟了。換句話說，當釋迦牟尼佛提出這個問題的時候，長爪梵志就知道自己的理論是有問題的──如果接受，那就是“接受一種理論”這與他自己建立的“一切法不受”的主張違背；如果不接受，那他的主張就不存在。就這樣，一方面顯示長爪梵志的理論是一種悖論，另一方面也突顯釋迦牟尼佛以非常簡短的開示就把長爪梵志折服了。.
数学原理
《数学原理》（Principia Mathematica）是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍，书籍共分三卷，分别出版于1910年，1912年，1913年。 它通常缩写為PM (Principia Mathematica)，企图表述所有数学真理在一组数理逻辑內的公理和推理规则下，原则上都是可以证明的。因此这一雄心勃勃的项目對於数学史和哲学史都是非常重要的，然而在1931年，哥德尔不完备性定理证明對於数学原理或其他任何類似的尝试，这个崇高的目标皆永远无法达到; 也就是说，任何尝试以一组公理和推理规则來建立的数学系統，若非不一致，便是不完備 (即存在一些数学真理不能由此系統推导出來)。 数学原理的一个主要的灵感和动机来自于逻辑学家戈特洛布·弗雷格的工作,但伯特兰·罗素发现其允许建设有矛盾的集合（罗素悖论）。数学原理排除无限制创建任意的集合來试图避免这个问题,它以不同“类型”的集合來取代一般的集合,一组特定类型的集合只能包含套較低的类型。然而在当代数学,會使用如Zermelo-Fraenkel的集合理论体系,來避免如罗素的笨拙方式,。 现代图书馆它排在二十世纪英文非小说书籍中的第23名。.
新！!: 新基础集合论和数学原理 · 查看更多 »
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
新！!: 新基础集合论和数理逻辑 · 查看更多 »
重定向到这里：
新基础。
