比浏览器更快的访问！
21 关系: 基数，大小限制公理，布拉利-福尔蒂悖论，序类型，序数，分类公理，元素 (數學)，理查德·戴德金，神，策梅洛集合论，类 (数学)，超限数，良序定理，集合，集合论，恩斯特·策梅洛，格奥尔格·康托尔，无穷，无限，数学，数学家。
基数
基数或量數可以指：.
大小限制公理
在类理论中，大小限制公理声称对于任何类 C，C 是真類(不可以是其他类的元素的类)，当且仅当冯·诺伊曼全集 V (所有集合的类)能一一映射到 C。 这个公理由冯·诺伊曼提出。它蕴涵了分类公理模式、替代公理模式和全局选择公理。大小限制公理蕴涵全局选择公理是因为序数的类不是集合，因此有从全集到序数们的单射。所以集合的全集是良序的。.
新！!: 绝对无限和大小限制公理 · 查看更多 »
布拉利-福尔蒂悖论
在集合論此一數學領域裡，布拉利-福爾蒂悖論斷言，樸素建構「所有序數的集合」會導致矛盾，因此每個允許此一構造的系統都會顯得自相矛盾。此一悖論是以切薩雷·布拉利-福爾蒂來命名的，他在1897年發現了此一悖論。.
新！!: 绝对无限和布拉利-福尔蒂悖论 · 查看更多 »
序类型
在数学中，特别是集合论中，序数可以用来标记(label)任何给定良序集合的元素(最小元素标记为 0，次小标记为 1，再次是 2，以此类推)，并通过未用来标记这个集合的元素的最小的序数来测量整个集合的“长度”。这个集合的“长度”叫做序类型。 序数表示良序集合的等价类，这里的等价关系是序同构。这样的序数是在等价类中任何集合的序类型。 更加形式的说，良序集合的序类型是唯一的序数，对于它有在序数和良序集合之间的一个序保持双射。 例如，考虑小于 ω·2+7 的偶序数的集合: 它的序类型是 ω·2+4，也就是.
序数
數學上，序數是自然數的一種擴展，與基數相對，著重於次序的性質。大於有限數的序數也稱作超限序數。 超限序数是由數學家格奥尔格·康托尔于1897年引入，用來考慮無窮序列，並用來對具有序结构的無窮集進行分類。.
分类公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，分类公理模式、或分离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括。 假定 P 是不含符号 B 的一个單变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做： 换句话说： 要理解这个公理模式，注意集合 B 必须是 A 的子集。所以，这个公理模式实际上说的是，给定集合 A 和谓词 P，我们可以找到 A 的子集 B，它的成员正是那些满足 P 的 A 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建構式符号把它指示为 。所以这个公理的本质是： 分类公理模式是与 ZFC 集合论有关的公理集合論系統的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基礎集合論和正集合论使用对朴素集合论的概括公理的不同的限制。Vopenka 的可替代的集合论有一个特殊要点，它允许集合的真子类的存在，這樣的真類叫做半集合。即使在与 ZFC 有关的系统中，这个公理模式有时也限制于带有的公式，比如在中。.
元素 (數學)
在数学领域，集合的元素（element）指构成该集合的任意，也可以称作成员（member）。.
新！!: 绝对无限和元素 (數學) · 查看更多 »
理查德·戴德金
查德·戴德金（Julius Wilhelm Richard Dedekind），德國數學家。 戴德金是高斯的學生，一生都以學術為主。他和狄利克雷、黎曼都是好朋友。.
新！!: 绝对无限和理查德·戴德金 · 查看更多 »
神
，在不同語言中有不同的含義，常和宗教、神秘學、儀式性的習俗有關。其中一種含義是超自然體系中的至高者(The Most High)，不受自然規律限制，反之卻高於自然規律，主宰宇宙萬物和整體世界(Holist World)，能對物質相位(Material Phase)施加直接或間接干涉。在所有的人類社會中都存在這種概念化的偶像(Conceptualized Idol)，但因各地文化風俗和宗教、信仰、意識形態有異，人們對神的認知完全分歧，導致法西斯思想、無理排他、種族主義、鎖國政策、軍國主義等充滿攻擊性的社會取向(Social Orientation)。.
策梅洛集合论
Zermelo集合论，设立自恩斯特·策梅洛在1908年的重要论文，它是现代集合论的祖先。它与它的后代有特定的差别，经常被误解并经常被误引用。本文架设最初的公理，带有最初的文本（从德文译成了英文）和编号。.
新！!: 绝对无限和策梅洛集合论 · 查看更多 »
类 (数学)
在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.
新！!: 绝对无限和类 (数学) · 查看更多 »
超限数
超限数是大于所有有限数（但不必為绝对无限）的基数或序数，分別叫做超穷基数（transfinite cardinal number）和超穷序数（transfinite ordinal number）。术语「超限」（transfinite）是康托尔提出的，他希望避免词语无限（infinite）和那些只不过不是有限（finite）的那些对象有关的某些暗含。當時其他的作者少有这些疑惑；现在被接受的用法是称超限基数或序数为无限的。但是术语「超限」仍在使用。 超穷序数可以確定超穷基数，並導出阿列夫数序列。 对于有限数，有两种方式考虑超限数，作为基数和作为序数。不像有限基数和序数，超限基数和超限序数定义了不同类别的数。.
良序定理
在數學中，良序定理（Well-ordering theorem）表示「所有集合都可以被良序排序」。这是非常重要的，因为它使所有集合均适用於超限归纳法。.
集合
集合可以指：.
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
恩斯特·策梅洛
恩斯特·策梅洛（德语：Ernst Friedrich Ferdinand Zermelo，），生于柏林，是德国数学家，其工作主要為数学基础，因而对哲学有重要影响。.
新！!: 绝对无限和恩斯特·策梅洛 · 查看更多 »
格奥尔格·康托尔
格奥尔格·费迪南德·路德维希·菲利普·康托尔（Georg Ferdinand Ludwig Philipp Cantor，），出生于俄国的德国数学家（波羅的海德國人）。他创立了现代集合论，是實數系以至整个微积分理论体系的基础，還提出了势和良序概念的定義；康托爾確定了在兩個集合中的成員，其間一對一關係的重要性，定義了無限且有序的集合，並證明了實數比自然數更多。康托爾對這個定理所使用的證明方法，事實上暗示了“無限的無窮” 的存在。他定義了基數和序數及其算術。康托爾很清楚地自知自覺他的成果，富有極濃厚的哲學興趣。康托爾提出的超越數，最初被當時數學界同儕認為如此反直覺-甚至令人震驚-因而拒絕接受他的理論，且以利奥波德·克罗内克为首的众多数学家长期攻击。克羅內克反對代數數為可數的，而超越數為不可數的證明。 康托爾本身是一位虔誠的路德派，相信這個理論是經由上帝傳達給他；但一些基督教神學家認為康托爾的理論，是在挑戰神學中只有上帝才具有絕對而唯一的無限性質。康托爾自 1869年任職於德國哈勒大學直到 1918年在哈勒大學附屬精神病院逝世；他的抑鬱症一直再發的病因，被歸咎於當代學界的敵對態度，儘管有人將這些事件解釋為，是他本人所患有的情感雙極障礙的病徵。他所受到的嚴厲攻擊，與後來的讚譽相匹配：在 1904年倫敦皇家學會授予他西爾維斯特獎章，這是皇家學會可授予數學研究者的最高榮譽。 在康托死後數十年，維特根斯坦撰文哀悼昔時學術界指責「集合論是假借通過數學而有害處的方言」的氛圍，他認為那是「可笑」和「錯誤」的「完全無稽之談」。当代数学家绝大多数接受康托尔的理论，并认为这是数学史上一次重要的变革。大卫·希尔伯特說：「沒有人能夠把我們從康托爾建立的樂園中趕出去。」（原文另譯：我們屏息敬畏地自知在康托所鋪展的天堂裡，不會遭逢被驅逐出境的。）.
新！!: 绝对无限和格奥尔格·康托尔 · 查看更多 »
无穷
無窮或無限，來自於拉丁文的「infinitas」，即「沒有邊界」的意思。其數學符號為∞。它在科學、神學、哲學、數學和日常生活中有著不同的概念。通常使用這個詞的時候並不涉及它的更加技術層面的定義。 在神學方面，根據書面記載無窮這個符號最早被用於某些秘密宗教，通常代表人類中的神性，而書寫此符號時兩圓的不對等代表人神間的差距，例如神學家邓斯·司各脱（Duns Scotus）的著作中，上帝的無限能量是運用在無約束上，而不是運用在無限量上。在哲學方面，無窮可以歸因於空間和時間。在神學和哲學兩方面，無窮又作為無限，很多文章都探討過無限、絕對、上帝和芝諾悖論等的問題。 在數學方面，無窮與下述的主題或概念相關：數學的極限、阿列夫數、集合論中的類、、羅素悖論、超實數、射影幾何、擴展的實數軸以及絕對無限。在一些主題或概念中，無窮被認為是一個超越邊界而增加的概念，而不是一個數。.
无限
#重定向 无穷.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
重定向到这里：
絕對無限。
