集合论- 维基百科，自由的百科全书
文章推薦指數： 80 %
集合論
維基百科，自由的百科全書
跳至導覽
跳至搜尋
二個集合交集的文氏圖
集合論（英語：Settheory）或稱集論，是研究集合（由一堆抽象物件構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。
在大多數現代數學的公式化中，都是在集合論的語言下談論各種數學物件（英語：mathematicalobjects）。
集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。
現代集合
延伸文章資訊
- 1集合論
這些問題正是康特所要追尋的，由此導致集合論(set theory) 的誕生。 ... 康特證明了：有理數集與代數數集(algebraic numbers) 都是可列的，但是區間[a.b] 及實數...
- 2集合論· 把數學程式化
1963年《柯恩》證明了上述(b) 式與集合論其他公理也相容。 所以現在我們知道《連續統假設》是不能證明的，即接受或否定它會得出兩套以上不同但邏輯上 ...
- 3集合论- 维基百科，自由的百科全书
而在稍早的1873年12月7日，康托尔写信给戴德金，说他已能成功地证明实数的“集体”是不可数的了，这一天也因此成为了集合论的诞生日。 從西元前五世紀時， ...
- 4etc-tera — 公理集合論1︰Z for Zermelo
哥德爾不完備定理限制了證明集合論一致的可能性，然而到目前為止（近一百年）數學界仍未發現任何矛盾，我們有足夠理由相信（但無法證明） ...
- 5集合論 - 中央研究院
窮多個超越數(請參考「集合論」第25頁)。 這個有關超越數的存在定理是法國數學家J. Liouville (1809 ~ 1882 )在1844年用代數. 數的逼近定理證明的,現在Cantor ...
