初等集合論的基本題目：
文章推薦指數： 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初等集合論的基本題目：
由此有時需要證明兩個集合相同，可分別證明：(A B)及(B A)。見以下的例題4; 重溫：內涵公理： S Y x ( x Y x S φ(x) )，; 其中φ(x)是任一個不含有變元Y 的公式。
- 2集合論 - 中央研究院
窮多個超越數(請參考「集合論」第25頁)。 這個有關超越數的存在定理是法國數學家J. Liouville (1809 ~ 1882 )在1844年用代數. 數的逼近定理證明的,現在Cantor ...
- 3集合論
這些問題正是康特所要追尋的，由此導致集合論(set theory) 的誕生。 ... 康特證明了：有理數集與代數數集(algebraic numbers) 都是可列的，但是區間[a.b] 及實數...
- 4習題：集合論證明- 陳鍾誠的網站
請證明你的展開結果與題目相符. 這題必須先問公理有哪些？可用的定理有哪些？ 書上給的公理與定理如下：. (2). \begin{eqnarray} & S\cup ...
- 5etc-tera — 公理集合論1︰Z for Zermelo
哥德爾不完備定理限制了證明集合論一致的可能性，然而到目前為止（近一百年）數學界仍未發現任何矛盾，我們有足夠理由相信（但無法證明） ...
