jí xiǎo mó xíng · ㄐㄧˊ ㄒㄧㄠˇ ㄇㄛˊ ㄒㄧㄥˊ · 更新 2026-06-30 20:42:04
极小模型是集合论的一种模型，若M为ZF系统的一个可传模型，且为ZF系统的所有可传模型的子模型，则称M为ZF系统的极小模型。