公理集合论的经典,力迫法等等都有详细的介绍,是基础数学的内容