内模型：修订历史

2025年7月29日 (星期二)

• 当前之前 19:532025年7月29日 (二) 19:53 Tabelog 留言 贡献 1,096字节 +1,096 创建页面，内容为“在集合论中，'''内模型'''（Inner Model）是指一个满足 ZFC 公理的传递类模型（即其元素关系在更广泛的宇宙中保持绝对），且包含所有序数。内模型是研究集合论基础问题（如大基数公理的一致性强度、独立性证明等）的核心工具之一，尤其在内模型计划（Inner Model Program）中扮演关键角色。 === 定义与性质 === * 若 <math>M</math> 是内模型…” 标签：可视化编辑