集合论
冯诺伊曼-博内斯-哥德尔集合论.