Neblux 知識圖譜
集合論
集合論是數理邏輯的分支，專門研究集合的性質以及隸屬、聯集、交集與補集等運算。在現代數學中，集合論常被用作建構與形式化各種數學結構的基礎框架。
概觀
康托爾確立了無限集合具有不同基數的理論，明確區分了可數集與不可數集。針對樸素集合論中出現的羅素悖論等內在矛盾，數學界建立了嚴格的公理體系。其中，包含選擇公理的策梅洛-弗蘭克爾公理系統（ZFC）成為排除悖論並開展集合論研究的標準公理架構。
為什麼重要
集合論為形式化數學提供了嚴謹的公理化工具，深化了對形式系統一致性與完備性的探索。選擇公理與連續統假設的獨立性成果，也為數學哲學與本體論討論提供了關鍵的理論依據。