集合論是什么意思詞義解釋來源：辭書
1：集合的概念最早是由德國數學家康脫爾(G. Cantor)提出他指出「集合就是在我們直覺意識或思維中可明確監別出的一群物件」。而集合論乃是將集合本身的規律建立起來的理論系統它是研究集合(Set)、群組(Group)和元素(Element)等的界限、組合、特性等問題及其應用的一門科學在近代數學的各分支中都是必不可少且為電腦科學許多學門的基礎。
集合論的研究是從研究有限集合的性質進而探索并試圖解決有關無窮集合的問題討論利用有限推理的方法是否能直接引用到有關無窮集合的命題或研究在怎樣的情況下才能將普通推理分析方法應用于無窮集合。
關于集合論的研究及進展有以下幾個重要時程：
1873年康脫爾(G. Cantor)證明所有實數集合與所有整數集合并不存在一一對應的關系自此開始了抽象集合理論的研究。
1883年唐脫爾證明了超越數集的基數大于代數數集的基數以及不同維度的歐氏空間都有相同的基數。他陳述了連續統假設也猜測了整序性定理；此定理后來為E. Zermelo證得。
1908年德國數學家則墨爾(E. Zermole)發表集合論的第一種公理系統。1922年數學家法朗克爾(A. Fraenkel)提出ZF公理系統此亦為今日集合論的基礎。
1940年哥德爾證明「如果ZF體系在不用選擇公理時是協調的則當加上這個公理時也是協調的」。因著這樣的論述一些集合論的著作因此將一些推理命題分成與選擇公理有關（標以AC符號）和與選擇公理無關等兩類。1963年數學家柯亨(P. Cohen)證明選擇公理與連續統假設皆與ZF體系相互獨立并且包括選擇公理在內的ZF體系也不能證明連續統假設。
|
