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