AOCF：修订历史

2025年8月5日 (星期二)

• 当前之前 22:102025年8月5日 (二) 22:10 Tabelog 留言 贡献 23,712字节 +2,880 无编辑摘要 标签：可视化编辑
• 当前之前 20:092025年8月5日 (二) 20:09 Tabelog 留言 贡献 20,832字节 +7,767 无编辑摘要 标签：可视化编辑：已切换
• 当前之前 17:352025年8月5日 (二) 17:35 Tabelog 留言 贡献 小 13,065字节 +132 无编辑摘要 标签：可视化编辑
• 当前之前 17:312025年8月5日 (二) 17:31 Tabelog 留言 贡献 12,933字节 +12,933 创建页面，内容为“'''Arai's Ordinal Collapse Function（AOCF）'''是一种类序数坍缩函数。 === 系统与公理 === <math>\Sigma_{N+2}^1-\text{AC+BI}</math> 表示一个二阶算术系统，它由 ​​<math>\rm \Pi_1^1-CA_0+BI</math>​​ 加入公理 ​​<math>\Sigma_{N+2}^1-\text{AC}</math>​​ 得到：<math>\forall n \exists X F(n,X) \rightarrow \exists Y \forall n F(n,Y_n)</math>，其中 <math>F(n,X)</math> 是任意的 ​​<math>\Pi_{N+2}^1</math>-…” 标签：可视化编辑