集合论
在数学基础中，冯·诺伊曼-博内斯-哥德尔集合论（'，'）是设计生成同Zermelo-Fraenkel 集合论与选择公理一起（ZFC）同样结果的集合论公理系统，但只有有限数目的公理，即是不使用公理模式。