极小模型

极小模型是集合论的一种模型，若M为ZF系统的一个可传模型，且为ZF系统的所有可传模型的子模型，则称M为ZF系统的极小模型。称理论 T 的模型??是在X∩A上极小的，如果不存在包含 X 的??的真基本(初等) 子模型。注意存在T的素模型但它不是T在空集上的极小模型。[1]极小模型是集合论的一种模型，若M为ZF系统的一个可传模型，且为ZF系统的所有可传模型的子模型，则称M为ZF系统的极小模型。