极小模型

概述

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

2百科释义

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

9词语组词

相关词条

本词条最后更新于 2026-06-30 02:43:29