樸素集合論

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

數學入面,樸素集合論英文Naive set theory)係集合論嘅一種,已經有「元素」、「集合」、「屬於」等等嘅概念,但係由於無公理化嘅處理,係呢個集合論入面存在一啲悖論

悖論[編輯]

樸素集合論容許用任何嘅性質嚟做成一個集,但係咁就會出問題,即係做成悖論,一個出名嘅例子就係羅素悖論:定義一個集合,佢裝住所有「唔裝住自己嘅集合」,無論裝唔裝住自己,都會造成矛盾。所以任何集合論系統如果相無矛盾嘅話,都要限制可以做成集合嘅性質。