传递模型：修订历史

2025年7月29日 (星期二)

• 当前之前 19:532025年7月29日 (二) 19:53 Tabelog 留言 贡献 小 1,696字节 +14 无编辑摘要 标签：可视化编辑
• 当前之前 19:482025年7月29日 (二) 19:48 Tabelog 留言 贡献 1,682字节 +1,682 创建页面，内容为“在集合论中，'''传递模型'''（或称'''传递结构'''，Transitive Model）是一种特殊的模型（结构），其元素的元素仍属于该模型。它是研究集合论公理（如 ZFC）及其独立性、内模型理论（Inner Model Theory）和力迫法（Forcing）的重要工具。 === 定义 === 一个传递模型通常指一个二元组 <math>(M,\in M)</math>，其中 <math>M</math> 是一个集合或真类，<math>\i…” 标签：可视化编辑