公理化数学

本条目或者章节被建议同 公理系统 合并。（讨论）

公理化数学是以逻辑为工具，用公理化的方法来试图包容数学中的“所有”知识。集合理论是公理化数学中的传统部分的基础，而现代数学中的范畴理论是以“类”这个概念为基础的。“类”是比集合更为基本的概念，因此，类的理论是集合理论中更为基础的部分。

[编辑] 类的理论

类的理论是原公理化集合论中那些适用于集合与类的内容，是公理化的“朴素集合论”。

类 -- 集合 -- 对应 -- 关系 -- 函数

[编辑] 集合理论

[编辑] 数学系统

[编辑] 范畴理论