你
请解释一下「极小模型」这个词的含义。
助手
极小模型
jí xiǎo mó xíng · ㄐㄧˊ ㄒㄧㄠˇ ㄇㄛˊ ㄒㄧㄥˊ
ji xiao mo xing
jxmx
ㄐㄧ ㄒㄧㄠ ㄇㄛ ㄒㄧㄥ
2026-07-13 17:05:51
扩展释义
极小模型是集合论的一种模型，若M为ZF系统的一个可传模型，且为ZF系统的所有可传模型的子模型，则称M为ZF系统的极小模型。
请解释一下「极小模型」这个词的含义。
极小模型是集合论的一种模型，若M为ZF系统的一个可传模型，且为ZF系统的所有可传模型的子模型，则称M为ZF系统的极小模型。