vooAAA公理集合论

公理集合论公理集合论把一些符号组成的表达式称为集合，是一种纯粹形式化的理论，彻底摆脱了集合直观语义的束缚。公理集合论建立在若干公理组成的公理系统之上。最著名的集合论公理系统是由德国逻辑学家Zermel