之间全集和策梅洛-弗兰克尔集合论相似
全集和策梅洛-弗兰克尔集合论有（在联盟百科）13共同点: 子集，公理化集合论，空集，策梅洛集合论，类 (数学)，自然数，集合，恩斯特·策梅洛，有限集合，新基础集合论，无穷，数学基础，替代公理。
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
全集和子集 · 子集和策梅洛-弗兰克尔集合论 ·
公理化集合论
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。.
全集和公理化集合论 · 公理化集合论和策梅洛-弗兰克尔集合论 ·
空集
集是不含任何元素的集合，數學符號為\empty、\varnothing或\。.
全集和空集 · 空集和策梅洛-弗兰克尔集合论 ·
策梅洛集合论
Zermelo集合论，设立自恩斯特·策梅洛在1908年的重要论文，它是现代集合论的祖先。它与它的后代有特定的差别，经常被误解并经常被误引用。本文架设最初的公理，带有最初的文本（从德文译成了英文）和编号。.
全集和策梅洛集合论 · 策梅洛-弗兰克尔集合论和策梅洛集合论 ·
类 (数学)
在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.
全集和类 (数学) · 策梅洛-弗兰克尔集合论和类 (数学) ·
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
集合
集合可以指：.
全集和集合 · 策梅洛-弗兰克尔集合论和集合 ·
恩斯特·策梅洛
恩斯特·策梅洛（德语：Ernst Friedrich Ferdinand Zermelo，），生于柏林，是德国数学家，其工作主要為数学基础，因而对哲学有重要影响。.
全集和恩斯特·策梅洛 · 恩斯特·策梅洛和策梅洛-弗兰克尔集合论 ·
有限集合
数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
新基础集合论
在数理逻辑中，新基础集合論（NF）是公理化集合論的一種，由蒯因构想出來作为对《数学原理》中类型论的简化。蒯因1937年於《数理逻辑的新基础》一文中首次提及NF（此即其名稱的由來）。請注意，此条目大多是在談论NFU，這是Jensen於1969年所提出，並由Holmes於1998年闡述的一重要变体。.
全集和新基础集合论 · 新基础集合论和策梅洛-弗兰克尔集合论 ·
无穷
無窮或無限，來自於拉丁文的「infinitas」，即「沒有邊界」的意思。其數學符號為∞。它在科學、神學、哲學、數學和日常生活中有著不同的概念。通常使用這個詞的時候並不涉及它的更加技術層面的定義。 在神學方面，根據書面記載無窮這個符號最早被用於某些秘密宗教，通常代表人類中的神性，而書寫此符號時兩圓的不對等代表人神間的差距，例如神學家邓斯·司各脱（Duns Scotus）的著作中，上帝的無限能量是運用在無約束上，而不是運用在無限量上。在哲學方面，無窮可以歸因於空間和時間。在神學和哲學兩方面，無窮又作為無限，很多文章都探討過無限、絕對、上帝和芝諾悖論等的問題。 在數學方面，無窮與下述的主題或概念相關：數學的極限、阿列夫數、集合論中的類、、羅素悖論、超實數、射影幾何、擴展的實數軸以及絕對無限。在一些主題或概念中，無窮被認為是一個超越邊界而增加的概念，而不是一個數。.
全集和无穷 · 无穷和策梅洛-弗兰克尔集合论 ·
数学基础
数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为真? 目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。實際上，幾乎所有现在的数学定理都可以表述為集合论下的定理。在这个观点下，所謂数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。 这个形式化的方法不能解释一些问题：为什么我们應沿用现行的公理而不是別的，为什么我们應沿用现行的逻辑规则而不是別的，为什么"真"数学命题（例如，算術領域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。 上述的形式化真实性也可能完全没有意义：有可能所有命题，包括自相矛盾的命题，都可以从集合论公理导出。而且，作为歌德尔第二不完备定理的一个结果，我们永远無法排除這種可能性。 在數學實在論（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类发现。在这种观点下，自然定律和数学定律有類似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了數學基础。但，显然的问题在于，我们如何接触这个世界？ 一些数学哲学的现代理论不承认這種數學基础的存在性。有些理论倾向于專注，並試圖把数学家的实際工作視為一種社會群體來作描述和分析。也有理論试图创造一个，把数学在"现实世界"中的可靠性歸結為人類的認知。这些理论建议只在人类的思考中找到基础，.
替代公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个映射（泛函谓词）下的像也是一个集合。它对于构造特定的大集合是必需的。.
上面的列表回答下列问题
- 什么全集和策梅洛-弗兰克尔集合论的共同点。
- 什么是全集和策梅洛-弗兰克尔集合论之间的相似性
全集和策梅洛-弗兰克尔集合论之间的比较
全集有50个关系，而策梅洛-弗兰克尔集合论有47个。由于它们的共同之处13，杰卡德指数为13.40% = 13 / (50 + 47)。
参考
本文介绍全集和策梅洛-弗兰克尔集合论之间的关系。要访问该信息提取每篇文章，请访问：