集合论
策梅洛-弗兰克尔集合论是现代数学集合论事实上的标准公理。