Question

公理集合论的介绍

Answer 1

公理集合论（axiomatic set theory）用形式化公理化方法研究集合论的一个学科。数理逻辑的主要分支之一。