书目详细信息 : 集合论含有原子的自然模型和布尔值模型