UNOCF：修订历史

2025年8月25日 (星期一)

• 当前之前 13:222025年8月25日 (一) 13:22 Tabelog 留言 贡献 小 6,154字节 +1 文字替换 -“Veblen函数”替换为“Veblen 函数”

2025年8月20日 (星期三)

• 当前之前 16:332025年8月20日 (三) 16:33 Z 留言 贡献 小 6,153字节 +49 无编辑摘要 标签：可视化编辑

2025年8月8日 (星期五)

• 当前之前 10:212025年8月8日 (五) 10:21 Tabelog 留言 贡献 6,104字节 +6,104 创建页面，内容为“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…” 标签：可视化编辑