主要公开日志

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年8月8日 (五) 10:21 Tabelog 留言 贡献创建了页面UNOCF （创建页面，内容为“Username’s OCF（UNOCF）是一个由 Username5243 提出的不严格的序数折叠函数。它并未给出集合论定义，而是直接讨论其折叠性质。因此，这实际上只是一个长得像 OCF 的序数记号。 === 首个不可数基数 === 在 <math>\psi(\Omega)</math> 之前，我们可以遵循三个简单的规则： * <math>\psi(0)=1</math> * <math>\psi(\alpha+1)[n]=\psi(\alpha)n</math> * <math>\psi(\alpha[n])=\p…”） 标签：可视化编辑