公理化集合论及应用