集合论/集合论公理

有几种针对数学集合论的公理系统。作者认为，最明智的做法是使用冯·诺伊曼、伯纳斯和哥德尔开发的一套公理系统，称为 NBG 集合论，并从中减去全局选择公理。如此所得集合论的公理如下

{{axiom|