初等集合論的基本題目:
文章推薦指數: 80 %
初等集合論的基本運算:交集
重溫:外延公理:x
(xA
xB)
A=B。
重溫:包含符號:
ABx
(xA→xB
)
A=B
x
(xA
xB)
x
[(xA→xB
)(xA→
xB)]
[x
(xA→xB
)][x(
xA→xB
)]
(AB)(BA)。
由此有時需要證明兩個集合相同,可分別證明:(AB)及(BA)。
見以下的例題4
重溫:內涵公理:SYx
(xY
xSφ(x)
),
延伸文章資訊
- 1集合論
這些問題正是康特所要追尋的,由此導致集合論(set theory) 的誕生。 ... 康特證明了:有理數集與代數數集(algebraic numbers) 都是可列的,但是區間[a.b] 及實數...
- 2策梅羅 - 九章數學
集合論是康托爾於十九世紀後三十年內創立的一門研究無窮對象. 的數學理論。康托爾對這一領域的主要概念與定理都作了正確的表. 述與證明,他採用了新的推理 ...
- 3etc-tera — 公理集合論1︰Z for Zermelo
哥德爾不完備定理限制了證明集合論一致的可能性,然而到目前為止(近一百年)數學界仍未發現任何矛盾,我們有足夠理由相信(但無法證明) ...
- 4集合论- 维基百科,自由的百科全书
而在稍早的1873年12月7日,康托尔写信给戴德金,说他已能成功地证明实数的“集体”是不可数的了,这一天也因此成为了集合论的诞生日。 從西元前五世紀時, ...
- 5習題:集合論證明- 陳鍾誠的網站
請證明你的展開結果與題目相符. 這題必須先問公理有哪些?可用的定理有哪些? 書上給的公理與定理如下:. (2). \begin{eqnarray} & S\cup ...