利用公理化的方法對樸素集合論加以研究的數(shù)學(xué)理論。又稱公理集合論,數(shù)理邏輯的分支學(xué)科。它以形式化的方法建立集合論的公理系統(tǒng)為研究對象,目的是克服集合論中出現(xiàn)的悖論。集合論的公理化首先是由策梅洛(E.F.F.Zermelo,1871~ (本文共 575 字 ) [閱讀本文] >>
海量資源,盡在掌握
 利用公理化的方法對樸素集合論加以研究的數(shù)學(xué)理論。又稱公理集合論,數(shù)理邏輯的分支學(xué)科。它以形式化的方法建立集合論的公理系統(tǒng)為研究對象,目的是克服集合論中出現(xiàn)的悖論。集合論的公理化首先是由策梅洛(E.F.F.Zermelo,1871~ (本文共 575 字 ) [閱讀本文] >>