集合论可看作数理逻辑的一个分支，也是现代数学的一个独立分支，它是各个数学分支的共同语言和基础。