主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。
- 2026年8月14日 (五) 20:43 Tabelog 留言 贡献创建了页面BMS的良序性 （创建页面，内容为“我们给出 BMS 良序性的证明过程。<ref>VARGOVCIK S. Well-orderedness of the bashicu matrix system[A]. 2023.</ref><ref>小清新. 对 BMS 良序性证明的个人理解[EB/OL]. 2023. https://zhuanlan.zhihu.com/p/653719928.</ref> '''定义''' 在 BMS 中给出如下定义和约定： (1) 列和行均从 0 开始数起。例如 <math>(000)(111)</math> 的 <math>(000)</math> 是第 0 列。 (2) <math>A</math>：一般指一个 BMS。 (3) <math>A[n]</m…”） 标签：可视化编辑