-1-Y：修订历史

差异选择：选中要对比的修订的单选按钮，然后按Enter键或下面的按钮。
说明：（当前）=与最后修订的差异，（之前）=与上个修订的差异，小=小编辑。

当前之前 13:302025年8月25日 (一) 13:30 Tabelog 留言贡献小 10,919字节 +1 文字替换 -“Veblen函数”替换为“Veblen 函数”

当前之前 16:492025年7月23日 (三) 16:49 夏浅不是下潜留言贡献 3,905字节 −144 无编辑摘要标签：可视化编辑
当前之前 16:472025年7月23日 (三) 16:47 夏浅不是下潜留言贡献 4,049字节 −4 →结构标签：可视化编辑
当前之前 16:472025年7月23日 (三) 16:47 夏浅不是下潜留言贡献 4,053字节 −10 无编辑摘要标签：可视化编辑
当前之前 16:402025年7月23日 (三) 16:40 夏浅不是下潜留言贡献 4,063字节 +4,063 创建页面，内容为“'''(-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}\in\mathbb{N}</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,2,2,3,3)</math> 是一个合法的 (-1)-Y 表达式. <math>(\Omega,1,2)</math> 不是一个合法的 PrSS 表达式，因为 <m…” 标签：可视化编辑：已切换