APP 利用公理化的方法對樸素集合論加以研究的數學理論。又稱公理集合論,數理邏輯的分支學科。它以形式化的方法建立集合論的公理系統為研究對象,目的是克服集合論中出現的悖論。集合論的公理化首先是由策梅洛(E.F.F.Zermelo,1871～ （本文共 575 字 ） [閱讀本文] >>
海量資源，盡在掌握
利用公理化的方法對樸素集合論加以研究的數學理論。又稱公理集合論,數理邏輯的分支學科。它以形式化的方法建立集合論的公理系統為研究對象,目的是克服集合論中出現的悖論。集合論的公理化首先是由策梅洛(E.F.F.Zermelo,1871～ （本文共 575 字 ） [閱讀本文] >>
開通會員，享受整站包年服務
說明： 本文檔由創作者上傳發布，版權歸屬創作者。若內容存在侵權，請點擊申訴舉報