公理化集合论




在數學中,公理化集合论是集合論透過建立一階邏輯的嚴謹重整,以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。




目录






  • 1 嚴謹集合論的源起


  • 2 集合論的公理


  • 3 命題在ZFC中的獨立性


  • 4 引用


  • 5 参见


  • 6 外部链接





嚴謹集合論的源起



集合論的公理


集合論中其中一套由Skolem最後整理的公理系統,称為Zermelo-Fraenkel集合論(ZF)。實際上,這個名稱通常不包括歷史上遠比今天具爭議性的選擇公理,當包括了選擇公理,這套系統被稱為ZFC。




  1. 外延公理:(Axiom of extensionality)兩個集合相同,若且唯若它們擁有相同的元素。


  2. 分類公理:(Axiom schema of specification / axiom schema of separation / axiom schema of restricted comprehension)或稱子集公理,給出任何集合及命題P(x),存在著一個原來集合的子集包含而且只包含使P(x)成立的元素。


  3. 配對公理:(Axiom of pairing)假如x, y為集合,那就有另一個集合{x,y}包含xy作為它的僅有元素。


  4. 並集公理:(Axiom of union)每一個集合也有一個並集。也就是說,對於每一個集合x,也總存在著另一個集合y,而y的元素也就是而且只會是x的元素的元素。


  5. 空集公理:存在著一個不包含任何元素的集合,我們記這個空集合為{ }。可由分類公理得出。


  6. 無窮公理:(Axiom of infinity)存在著一個集合x,空集{ }為其元素之一,且對於任何x中的元素yy ∪ {y}也是x的元素。


  7. 替代公理:(Axiom schema of replacement)


  8. 冪集公理:(Axiom of power set)每一個集合也有其冪集。那就是,對於任何的x,存在著一個集合y,使y的元素是而且只會是x的子集。


  9. 正規公理:(Axiom of regularity / Axiom of foundation)每一個非空集合x,總包含著一元素y,使xy為不交集。


  10. 選擇公理:(Axiom of choice,Zermelo's version)給出一個集合x,其元素皆為互不相交的非空集,那總存在著一個集合yx的一個選擇集合),包含x每一個元素的仅仅一個元素。



命題在ZFC中的獨立性



引用




  • Keith Devlin, 1992. The Joy of Sets, 2nd ed. Springer-Verlag.

  • Potter, Michael, 2004. Set Theory and Its Philosophy. Oxford Univ. Press. ISBN 0-19-927041-4.


  • Suppes, Patrick, 1972. Axiomatic Set Theory. Dover Publications. ISBN 0-486-61630-4.

  • Tourlakis, George, 2003. Lectures in Logic and Set Theory, Vol. 2. Cambridge Univ. Press.



参见




  • 可替代的集合論

  • ℶ 數

  • 康托尔-伯恩斯坦-施罗德定理

  • 對角論證法

  • 康托爾定理

  • Implementation of mathematics in set theory

  • Internal set theory

  • Kripke-Platek set theory with urelements

  • List of set theory topics

  • 模型論

  • Morse-Kelley set theory

  • 樸素集合論

  • 新基礎集合論

  • Simple theorems in the algebra of sets

  • 馮諾伊曼-博內斯-哥德爾集合論

  • Zermelo-Fraenkel 集合論

  • 佐恩引理

  • 公理化數學

  • ZFC系統無法確定的命題列表




外部链接




  • Metamath: A web site devoted to an ongoing derivation of mathematics from the axioms of ZFC and first-order logic. Principia Mathematica done right.


  • Stanford Encyclopedia of Philosophy:


    • Set Theory -- by Thomas Jech.


    • Quine's New Foundations -- by Thomas Forster.


    • Alternative axiomatic set theories -- by Randall Holmes.



  • Randall Holmes's bibliography for set theories allowing a universal set.

  • Mathias, A. R. D., 2004, "The Strength of Mac Lane Set Theory." Surveys, and sets out new results and new proofs for old results, for a number of alternatives to ZFC, including ZBQC (proposed by Saunders Mac Lane), topos theory, Kripke-Platek set theory, Foster-Kaye set theory, Harvey Friedman, and systems similar to 新基礎集合論.

  • Axioms of Set Theory at ProvenMath


For information on the history of set theory notation, see:


  • The history of set theory and logic notation.



Popular posts from this blog

Guess what letter conforming each word

Port of Spain

Run scheduled task as local user group (not BUILTIN)