集合论- 维基百科，自由的百科全书
文章推薦指數： 80 %
集合論
維基百科，自由的百科全書
跳至導覽
跳至搜尋
二個集合交集的文氏圖
集合論（英語：Settheory）或稱集論，是研究集合（由一堆抽象物件構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。
在大多數現代數學的公式化中，都是在集合論的語言下談論各種數學物件（英語：mathematicalobjects）。
集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。
現代集合
延伸文章資訊
- 1初等集合論的基本題目：
由此有時需要證明兩個集合相同，可分別證明：(A B)及(B A)。見以下的例題4; 重溫：內涵公理： S Y x ( x Y x S φ(x) )，; 其中φ(x)是任一個不含有變元Y 的公式。
- 2策梅羅 - 九章數學
集合論是康托爾於十九世紀後三十年內創立的一門研究無窮對象. 的數學理論。康托爾對這一領域的主要概念與定理都作了正確的表. 述與證明,他採用了新的推理 ...
- 3Set Theory - 集合論 - 國家教育研究院雙語詞彙
關於集合論的研究及進展有以下幾個重要時程： 1873年，康脫爾(G. Cantor)證明所有實數集合與所有整數集合並不存在一一對應的關係，自此開始了抽象集合理論 ...
- 4習題：集合論證明- 陳鍾誠的網站
請證明你的展開結果與題目相符. 這題必須先問公理有哪些？可用的定理有哪些？ 書上給的公理與定理如下：. (2). \begin{eqnarray} & S\cup ...
- 5公設化集合論的奧秘(18) - 泛科學
有一種說法認為集合論的發明是在1873年12月，精確地說是1873年12月7日，因為那一天康托證明了連續統（continuum）是不可數的，所以應該 ...
