集合論/集合論公理

有幾種針對數學集合論的公理系統。作者認為，最明智的做法是使用馮·諾伊曼、伯納斯和哥德爾開發的一套公理系統，稱為 NBG 集合論，並從中減去全域性選擇公理。如此所得集合論的公理如下

{{axiom|