极小模型是集合论的一种模型，若M为ZF系统的一个可传模型，且为ZF系统的所有可传模型的子模型，则称M为ZF系统的极小模型。
欢迎使用中华汉语词典！我们致力于提供最全面的汉语词语查询服务，包括成语解释、近义词反义词、组词等。如有任何问题，欢迎联系我们。