极小模型

概述

极小模型是集合论的一种模型,若M为ZF系统的一个可传模型,且为ZF系统的所有可传模型的子模型,则称M为ZF系统的极小模型。

2 扩展释义

极小模型是集合论的一种模型,若M为ZF系统的一个可传模型,且为ZF系统的所有可传模型的子模型,则称M为ZF系统的极小模型。

9 词语组词

相关词条

本词条最后更新于 2026-07-10 13:07:04