樸素集合論

維基百科,自由的百科全書
前往: 導覽搜尋

純數學中,樸素集合論是由德國數學家康托爾最早創立的第一個集合論,它後來被更加精確地構建為公理化集合論
樸素集合論和公理化集合論的區別在於,前者依賴於把集合作為叫做這個集合的「元素」或 「成員」的搜集(collection),未有形式化的理解
公理化集合論只使用明確定義的公理列表,還有從中證明的關於集合和成員關係的種種事實(公理起源自我們對對象的搜集和它們的成員的理解,但為了各種目的而被謹慎地構建,例如是避免已知的各種悖論
集合在數學中是極其重要的;事實上,採用現代的形式化定義,多種數學對象(關係函數等等)都可以用集合來構建。

參見[編輯]