集合论

集合論是一門研究集合（由一堆抽象物件構成的整體）的數學理論，包含集合、元素和成員關係等數學中最基本的概念。在大多數現代數學的公式化中，集合論提供了要如何描述數學物件的語言。集合論和邏輯與一階邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。