主要公开日志

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

• 2025年8月15日 (五) 14:11 Phyrion 留言 贡献移动页面Weak veblen函数至Weak Veblen 函数
• 2025年8月15日 (五) 13:51 Zhy137036 留言 贡献创建了页面ω-Y （创建页面，内容为“1”）
• 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…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:51 YourCpper 留言 贡献创建了页面TSO （创建页面，内容为“TSO（Triply Stability Ordinal），指第一个涉及三段稳定链的序数。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.(\lambda\beta.(\lambda\gamma.\gamma+1-\Pi_0[\beta+1])-\Pi_0[\alpha+1])-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha_3+1}+1}))</math> |- |Aarex's exUNOCF |<math>\psi(\Omega_{C(1::;;0)+1})</math> |- |BMS |<math>(0)(…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:47 YourCpper 留言 贡献创建了页面DSO （创建页面，内容为“DSO（Doubly Stability Ordinal），指第一个涉及二段稳定链的序数。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.(\lambda\beta.\beta+1-\Pi_0[\alpha+1])-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha_2+1}+1}))</math> |- |Aarex's exUNOCF |<math>\psi(\Omega_{C(1:;;0)+1})</math> |- |BMS |<math>(0)(1,1,1)(2,2,1)(3,3)</math> |- |0…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:37 YourCpper 留言 贡献创建了页面LDO （创建页面，内容为“LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 UNOCF 极限。该名字曾经也用于指代 {| class="wikitable" |<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math> |} （ {| class="wikitable" |<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math> |} ） {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\Omega_{…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:26 YourCpper 留言 贡献创建了页面APO （创建页面，内容为“APO（Admissible-Parameter free effective cardinal Ordinal），是pfec稳定和adm稳定的分歧点。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\Pi_1(\lambda\alpha.\Omega_{\alpha+1}-\Pi_1))</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varphi(\Omega_{\alpha+1},1)\times\omega))</math> |- |UNOCF |<math>\psi(\Omega_{T+1}^T+\psi_{\Omega_{T+1}}(\Omega_{T+1}^T+1))</math> |- |BMS |<math>(0)(1,…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:14 YourCpper 留言 贡献创建了页面LSO （创建页面，内容为“SSO（Large Stegert Ordinal），是Stability的证明论序数，该结论由 Stegert 给出，因此得名。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\alpha2-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varphi(\alpha,\Omega_{\alpha+1})))</math> |- |UNOCF |<math>\psi(\Omega_{T+1}^T)</math> |- |BMS |<math>(0)(1,1,1)(2,2)(3,2)(4,1)(2)</math> |- |0-Y |<math>1,4,8,12,14,5</math> |-…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:06 YourCpper 留言 贡献创建了页面DO （创建页面，内容为“DO（Duchhart's Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\kappa+1})</math> |- |反射序数 |<math>\psi(2 \ \text{aft} \ 4)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(6,2)</math> |- |0-Y |<math>1,4,7,10,13,15,19</math> |- |1-Y |<math>1,2,4,8,12,16,20,23,27</math> |- |ex-hydra |<math>p1(p3(p3(p3(p3(p2(p3))))))</math> |- |D…”） 标签：可视化编辑
• 2025年8月7日 (四) 22:00 YourCpper 留言 贡献创建了页面SKO （创建页面，内容为“ SKO（Small Weakly-Compact Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(K_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)</math> |- |反射序数 |<math>\psi(1-3)</math> |- |0-Y |<math>1,4,7,10,13</math> |- |1-Y |<math>1,2,4,8,12,16,20</math> |- |ex-hydra |<math>p1(p3(p3(p3(p3))))</math> |- |M 记号 |<math>p…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:57 YourCpper 留言 贡献创建了页面RO （创建页面，内容为“RO（Rathjen's Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(\Omega_{K+1})</math> |- |反射序数 |<math>\psi(2\ \text{aft}\ 3)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2)</math> |- |0-Y |<math>1,4,7,10,12,15</math> |- |1-Y |<math>1,2,4,8,12,16,19,23</math> |- |ex-hydra |<math>p1(p3(p3(p3(p2(p3)))))</math> |- |Dropping Hydra#M 记号|M…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:52 YourCpper 留言 贡献创建了页面SNO （创建页面，内容为“SNO（Small Nonconvertible Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(N_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1,1)</math> |- |反射序数 |<math>\psi(1-2-2-2)</math> |- |0-Y |<math>1,4,7,10,10,10</math> |- |1-Y |<math>1,2,4,8,12,16,16,16</math> |- |ex-hydra |<math>p1(p3(p3(p3+p3+p3)))</math> |- |Dropping Hydra#M 记号|M…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:43 YourCpper 留言 贡献创建了页面TBO （创建页面，内容为“TBO（Transfinity Buchholz Ordinal），是一个重要的序数，因为它是序数元Buchholz函数的极限而得名。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(I(1,0,0))</math> |- |反射序数 |<math>\psi((2\ 1-)^{(1,0)}))</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2)</math> |- |0-Y |<math>1,4,7,10,9,5</math> |- |1-Y |<math>1,2,4,8,12,16,15,9</math> |-…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:39 YourCpper 留言 贡献创建了页面ACO （创建页面，内容为“ACO（Ackerman's Ordinal，阿克曼序数），是三元Veblen 函数的极限。 {| class="wikitable" !序数记号 !表达式 |- |Veblen 函数 |<math>\varphi(1,0,0,0)</math> |- |BOCF |<math>\psi(\Omega^{\Omega^2})</math> |- |MOCF |<math>\psi(\Omega^{\Omega^2})</math> |- |BMS |<math>(0)(1,1)(2,1)(3,1)(3,1)</math> |- |HPrSS |<math>1,3,5,7,7</math> |- |0-Y |<math>1…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:10 YourCpper 留言 贡献创建了页面SMO （创建页面，内容为“SIO（Small Mahlo Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(M_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)</math> |- |反射序数 |<math>\psi(1-2-2)</math> |- |0-Y |<math>1,4,7,10,10</math> |- |1-Y |<math>1,2,4,8,12,16,16</math> |- |ex-hydra |<math>p1(p3(p3(p3+p3)))</math> |- |M 记号 |<math>p(p(M^M\ti…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:07 YourCpper 留言 贡献创建了页面SRO （创建页面，内容为“SRO（Small Rathjen's Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(\Omega_{M+1})</math> |- |反射序数 |<math>\psi(2 \ \text{aft}\ 2-2)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)</math> |- |0-Y |<math>1,4,7,10,9,12</math> |- |1-Y |<math>1,2,4,8,12,16,15,19</math> |- |ex-hydra |<math>p1(p3(p3(p3+p2(p3))))</math> |- |Dropping Hydra#M…”） 标签：可视化编辑
• 2025年8月7日 (四) 21:03 YourCpper 留言 贡献创建了页面MBO （创建页面，内容为“ MBO（Multiple Buchholz Ordinal），是一个重要的序数，因为它是多元Buchholz函数的极限而得名。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(I(\omega,0))</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(3)</math> |- |0-Y |<math>1,4,7,10,8</math> |- |1-Y |<math>1,2,4,8,12,16,13</math> |- |ex-hydra |<math>p1(p3(p3(p3+p1)))</math> |- |M 记号 |<…”） 标签：可视化编辑
• 2025年8月7日 (四) 20:57 YourCpper 留言 贡献创建了页面SIO （创建页面，内容为“SIO（Small Inaccessible Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(I_\omega)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)</math> |- |0-Y |<math>1,4,7,10</math> |- |1-Y |<math>1,2,4,8,12,16</math> |- |ex-hydra |<math>p1(p3(p3(p3)))</math> |- |M 记号 |<math>p(p(M^2\times\omega))</math> |- |投影 |<math>\psi(\…”） 标签：可视化编辑
• 2025年8月7日 (四) 16:35 Tabelog 留言 贡献删除页面馃槹/果糕文化 （别太😰）
• 2025年8月7日 (四) 16:24 Tabelog 留言 贡献删除页面超限(-1)-Y （内容：“'''超限 (-1)-Y''' 是一种 Worm 型序数记号。 == 定义 == === 合法式 === 一个'''合法'''的超限 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})</math> 且 <math>n,s_{1},s_{2},\cdots,s_{n}<\Omega,s_1=1</math>（特别地，空序列 <math>()</math> 是合法的 超限 (-1)-Y 表达式） '''例：''' * <math>(1,\omega)</math> 是一个合法的超限 (-1)-Y 表达式 * <math>(\Omega_\Omega,1,2)</math> 不是一个合…”）
• 2025年8月7日 (四) 16:23 Tabelog 留言 贡献移动页面超限(-1)-Y VS Veblen函数至超限 -1-Y VS Veblen 函数，不留重定向
• 2025年8月7日 (四) 11:21 Tabelog 留言 贡献创建了页面BTBMS （创建页面，内容为“BTBMS（Bubby3's Transfinite Bashicu Matrix System）是 Bubby3 创造的序数记号，是现行扩展 BMS 中强度最高的。 === 定义 === BTBMS 表达式中的一列形如 <math>\left(a_1,a_2,\cdots,a_n^{(b_1,b_2,\cdots)}\right)</math>。它由两部分组成，分别为 <math>(a_1,a_2,\cdots,a_n)</math> 以及 <math>(b_1,b_2,\cdots)</math>。它的后继规则为 <math>(\#)(0)[n]=(\#)[n+1],\quad\left(a^{(\#)(\varnothing)}\right)[n]=\l…”） 标签：可视化编辑
• 2025年8月7日 (四) 10:55 Tabelog 留言 贡献删除页面Peano 公理体系 （内容为：“#重定向 皮亚诺公理体系”，唯一贡献者是“QWQ-bili”（讨论））
• 2025年8月7日 (四) 10:48 Tabelog 留言 贡献创建了页面X-Y （创建页面，内容为“X-Y 序列是由国内的大数研究者 Go men 于 2023 年提出的记号，是一个 Y 序列的强大扩展。X-Y 序列一共有两个版本，下面我们介绍第二版的展开规则。 === 定义 === '''作山脉图''' 山脉图是一个“二维数组”，待展开数列依次置于山脉图第 [0] 行，首项放在第 1 列，后面各项依次放在第 2、3、4... 列，每一项称为山脉图的“元素”，如果待展开数列的元素的…”） 标签：可视化编辑
• 2025年8月7日 (四) 10:28 Tabelog 留言 贡献删除页面有名字的序数 （内容为：“#重定向 序数表”，唯一贡献者是“Phyrion”（讨论））
• 2025年8月7日 (四) 10:28 Tabelog 留言 贡献删除页面Weak Veblen 函数 （内容为：“#重定向 Weak veblen函数”，唯一贡献者是“Tabelog”（讨论））
• 2025年8月7日 (四) 10:27 Tabelog 留言 贡献移动页面Weak Veblen 函数至Weak veblen函数
• 2025年8月7日 (四) 10:27 Tabelog 留言 贡献删除页面Weak veblen函数 （删除以便移动Weak Veblen 函数）
• 2025年8月6日 (三) 20:05 Tabelog 留言 贡献移动页面Weak veblen函数至Weak Veblen 函数
• 2025年8月6日 (三) 20:03 Tabelog 留言 贡献删除页面FOS用DcN和1-Y枚举 （内容为：“#重定向 DcN”，唯一贡献者是“Tabelog”（讨论））
• 2025年8月6日 (三) 20:03 Tabelog 留言 贡献移动页面FOS用DcN和1-Y枚举至DcN
• 2025年8月6日 (三) 20:00 Tabelog 留言 贡献创建了页面MMS （创建页面，内容为“变异矩阵系统（Mutant Martix System，MMS）最初是 Aarex 于 2023 年提出的记号，它是 BMS 的一个强大的推广。后来其规则经过多次的调整和完善，目前使用的是 HypCos 的 MM3（Mutant Martix 3）。我们下面对其规则进行简要的介绍。 === 定义 === MM3 是以矩阵形式表达的表达式，每个元素具有表观行标和内在行标。以下陈述中，“左”的列标比“右”小…”） 标签：可视化编辑
• 2025年8月6日 (三) 19:53 Phyrion 留言 贡献创建了页面元素属性 （创建页面，内容为“在不同类型的记号中，每一个组成该记号的任意表达式的部分都是一个元素。比如BEAF中的乘客、驾驶员，PrSS中的坏根、末项。 不同类型的元素有着不同的属性。元素的属性代表了元素自身的功能和作用。 需要注意的是，相同属性的元素，在不同的记号中也有着不同的定义方式。 == 序列记号 == # 首项：每个序列表达式的第一项…”） 标签：可视化编辑
• 2025年8月6日 (三) 19:05 Tabelog 留言 贡献删除页面追平 （内容为：“#重定向 Catching”，唯一贡献者是“Tabelog”（讨论））
• 2025年8月6日 (三) 18:58 YourCpper 留言 贡献创建了页面ΩSSO （创建页面，内容为“ΩSSO（Ω Sequence System Ordinal），又名WSSO，是常规TBMS的极限。因为该序数第一个是α→α行BMS的不动点而得名。 {| class="wikitable" !序数记号 !表达式 |- |向上投影 |<math>\psi(\psi_H(\varphi(H,1)))</math> |- |BTBMS |<math>(0)(1^{(2,1)})</math> |- |1-Y |<math>1,3,4,2,5,8,10</math> |- |I 1-Y(w\o 1342575) |<math>1,3,5,6,2,5,10,12</math> |- |变种…”） 标签：可视化编辑
• 2025年8月6日 (三) 18:37 YourCpper 留言 贡献创建了页面SSO （创建页面，内容为“SSO（Small Stegert Ordinal），是<math>\rm{KP+\Pi_N-ref},N\in\omega</math>的证明论序数，该结论由Stegert给出，因此得名。 {| class="wikitable" !序数记号 !表达式 |- |反射序数 |<math>\psi(\rm{psd.}\Pi_\omega)</math> |- |稳定序数 |<math>\psi(\lambda\alpha.\alpha+1-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha+1}+1}))=\psi(\psi_\alpha(\alpha_2))</math> |- |UNOCF |<math>\psi(…”） 标签：可视化编辑
• 2025年8月6日 (三) 18:30 Tabelog 留言 贡献创建了页面Moumtain Notation （创建页面，内容为“=== 前定义 === 山脉系列的矩阵由列组成，它可以表示为 <math>A_1A_2\cdots A_{n-1}A_n</math> 的形式，其中 <math>A_i</math> 为各列，<math>n</math> 是非负整数。把所有列从左到右列出来，列标大为右，最左列的列标是 1。 列由元素组成，它可以表示为 <math>a_1a_2\cdots a_{n-1}a_n</math> 的形式，其中 <math>a_i</math> 为各元素，''<math>n</math>'' 是非负整数。把所有元素从下到上…”） 标签：可视化编辑
• 2025年8月6日 (三) 18:19 YourCpper 留言 贡献创建了页面LRO （创建页面，内容为“LRO（Large Rathjen Ordinal），是一个重要的序数，指代<math>\rm{psd.}\omega.\rm{ply}-\rm{stb}</math>折叠后的结果，其真实大小目前尚没有明确结论，主流的观点是LRO=TSSO。另一个更常用的版本叫做pfec.LRO（简称pLRO），忽略Non-Gandy现象，其大小等于<math>(0)(1,1,1)(2,2,2)</math>，这个序数又称SBO（Small Bashicu Ordinal）或OBO（Omega Back Ordinal）<ref>ht…”） 标签：可视化编辑
• 2025年8月6日 (三) 17:51 YourCpper 留言 贡献创建了页面BGO （创建页面，内容为“BGO（1st TSS Back Gear Ordinal），由Bashicu命名，原来指代<math>(0)(1,1,1)(2,2)</math><ref>https://googology.fandom.com/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:BashicuHyudora/%E3%83%90%E3%82%B7%E3%82%AF%E8%A1%8C%E5%88%97%E3%81%AE%E8%A7%A3%E6%9E%90</ref>，后来因不明原因变成了<math>(0)(1,1,1)(2,2,1)</math>。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\Pi_1(\lambda\alpha.…”） 标签：可视化编辑
• 2025年8月6日 (三) 17:50 Tabelog 留言 贡献删除页面Loader数 （内容为：“#重定向 Loader 数”，唯一贡献者是“Tabelog”（讨论））
• 2025年8月6日 (三) 17:50 Tabelog 留言 贡献移动页面Loader数至Loader 数
• 2025年8月6日 (三) 17:48 Tabelog 留言 贡献删除页面LPrSSvsHPrSSvs0-YvsY （内容为：“#重定向 LPrSS vs HPrSS vs 0-Y vs 1-Y”，唯一贡献者是“Tabelog”（讨论））
• 2025年8月6日 (三) 17:48 Tabelog 留言 贡献移动页面LPrSSvsHPrSSvs0-YvsY至LPrSS vs HPrSS vs 0-Y vs 1-Y
• 2025年8月6日 (三) 17:42 Tabelog 留言 贡献创建了页面变种去提升 Y 序列 （创建页面，内容为“本页面介绍去除了各种提升的 1-Y 和 BMS。 === 前定义 === 下文 1-Y 均为 weak 1-Y，未提及的内容同 1-Y。不标准的合法表达式，不保证能理想且良的展开。 ==== 计数序列 ==== 在某个合法表达式中， 项 <math>x</math> 的计数序列 <math>f(x)</math> 的定义如下： # <math>f(x)=1</math> # <math>f(\#,x)=f(x),1</math> 当 # 无法适用 1 时 # <math>f(\#)=\sup\{f(\alpha)|\a…”） 标签：可视化编辑
• 2025年8月5日 (二) 23:09 YourCpper 留言 贡献创建了页面文件:Omega4.jpg
• 2025年8月5日 (二) 23:09 YourCpper 留言 贡献上传文件:Omega4.jpg
• 2025年8月5日 (二) 22:56 YourCpper 留言 贡献创建了页面GHO （创建页面，内容为“GHO（Guo bu qu de Hydra Ordinal或No-Go Hydra Ordinal）指<math>1-Y(1,3,4,3)</math>，由Asheep233命名。由于1-Y的1,3,4,3提升极为强大，卡掉了BMS的简单拓展，因此得名。 {| class="wikitable" !序数记号 !表达式 |- |向上投影 |<math>\psi(\psi_H(\psi_T(T_2*2)))</math> |- |1-Y |<math>1,3,4,3</math> |- |I 1-Y |<math>1,3,5</math> |- |III 1-Y |<math>1,3,8</math> |- |BTBMS |<math>(0)(1…”） 标签：可视化编辑
• 2025年8月5日 (二) 21:29 YourCpper 留言 贡献创建了页面SHO （创建页面，内容为“SHO（Small Hydra Ordinal），由Fatalis命名，该名字原本指<math>\varepsilon_0</math>，后来因为不明原因变成了BMS极限。该序数在Googology中有着极其重要的地位。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\le\psi(\rm{psd.}\Sigma_\omega-\rm{stb})</math> |- |向上投影 |<math>\psi(\psi_H(\varepsilon_{H+1}))</math> |- |1-Y |<math>1,3</math> |- |Moumtain Notat…”） 标签：可视化编辑
• 2025年8月5日 (二) 21:01 YourCpper 留言 贡献创建了页面SDO （创建页面，内容为“SDO（Small Dropping Ordinal），由Username5243命名<ref>https://googology.fandom.com/wiki/User:Username5243/Username%27s_OCF</ref>，指代原版UNOCF极限，同时也是N-dropping和N-shifting模式的极限。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\Omega_{\alpha+\omega}-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\Omega_{\alpha+\omega}))</math> |- |投影序数|向上…”） 标签：可视化编辑
• 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>-…”） 标签：可视化编辑