集合论是什么意思词义解释来源：辞书
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体系也不能证明连续统假设。
|
