证明论序数：修订历史

2025年7月27日 (星期日)

• 当前之前 13:212025年7月27日 (日) 13:21 Tabelog 留言 贡献 小 27,790字节 +28 无编辑摘要

2025年7月24日 (星期四)

• 当前之前 19:542025年7月24日 (四) 19:54 Tabelog 留言 贡献 小 27,762字节 +240 无编辑摘要 标签：可视化编辑：已切换
• 当前之前 19:352025年7月24日 (四) 19:35 Tabelog 留言 贡献 27,522字节 +7,183 无编辑摘要

2025年7月23日 (星期三)

• 当前之前 21:222025年7月23日 (三) 21:22 Tabelog 留言 贡献 20,339字节 +2,983 无编辑摘要 标签：可视化编辑

2025年7月22日 (星期二)

• 当前之前 21:192025年7月22日 (二) 21:19 Tabelog 留言 贡献 17,356字节 +6,650 无编辑摘要 标签：可视化编辑：已切换

2025年7月21日 (星期一)

• 当前之前 22:132025年7月21日 (一) 22:13 Tabelog 留言 贡献 10,706字节 +2,162 无编辑摘要 标签：可视化编辑
• 当前之前 21:322025年7月21日 (一) 21:32 Tabelog 留言 贡献 8,544字节 +3,209 无编辑摘要 标签：可视化编辑：已切换
• 当前之前 19:312025年7月21日 (一) 19:31 Tabelog 留言 贡献 5,335字节 +3,702 无编辑摘要 标签：可视化编辑

2025年7月20日 (星期日)

• 当前之前 22:232025年7月20日 (日) 22:23 Tabelog 留言 贡献 1,633字节 +1,633 创建页面，内容为“'''证明论序数'''（或称证明论强度序数，Proof-Theoretic Ordinal）是衡量形式理论强度的核心工具，通过将理论映射到序数上，刻画其能证明的良序关系的复杂度。该概念源于希尔伯特的证明论计划，旨在通过有限方法证明数学基础理论的一致性，后由阿克曼（Wilhelm Ackermann）和根岑（Gerhard Gentzen）发展为序数分析技术。 === 定义和性质 === 序数是良序集的…” 标签：可视化编辑