主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。
- 2025年8月5日 (二) 17:31 Tabelog 留言 贡献创建了页面AOCF （创建页面，内容为“'''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>-…”） 标签：可视化编辑