主要公开日志

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

• 2025年8月17日 (日) 22:49 Zhy137036 留言 贡献创建了页面自然数 （待补充：自然数的加法和乘法、非标准自然数模型、……）
• 2025年8月15日 (五) 13:51 Zhy137036 留言 贡献创建了页面ω-Y （创建页面，内容为“1”）
• 2025年8月4日 (一) 16:32 Zhy137036 留言 贡献创建了页面传递闭包 （创建页面，内容为“'''定理'''（传递闭包唯一存在） 对任意集合 <math>X</math>，存在唯一集合 <math>Y</math>，满足如下条件 * <math>Y</math> 是传递集； * <math>X\sube Y</math>； * 如果传递集 <math>Z</math> 满足 <math>X\sube Z</math>，则 <math>Y\sube Z</math>。 '''证明''' 使用自然数集上的归纳法，定义集合列 <math>X_0,X_1,X_2,\cdots</math> 满足： * <math>X_0=X</math>； * <math>X_{n+1}=X_n\cup(\bigcup X_n)</math>…”）
• 2025年8月4日 (一) 13:00 Zhy137036 留言 贡献创建了页面PrSS的良序性 （未完）
• 2025年8月2日 (六) 16:10 Zhy137036 留言 贡献删除页面PrSS良序 （误操作）
• 2025年8月2日 (六) 16:09 Zhy137036 留言 贡献创建了页面PrSS良序 （创建页面，内容为“* 若 <math>S</math> 中有不止一项是零。<br>设 <math>S</math> 中有 <math>r>1</math> 项为零，且 <math>a_{k_1}=a_{k_2}=\cdots=a_{k_r}=0</math>，其中 <math>1=k_1<k_2<k_3<\cdots<k_r<k_{r+1}=n+1</math>。<br>取 <math>S_i=(a_{k_i},a_{k_i+1},\cdots,a_{k_{i+1}-1}),\quad i=1,2,\cdots,r</math>，则 <math>F(S)=F(S_1)+F(S_2)+\cdots+F(S_r)</math>。<br>设 <math>S</math> 的坏根为 <math>a_x</math>。不难看出，<math>x\ge k_r</math>。<br>设 <mat…”）
• 2025年7月30日 (三) 15:04 Zhy137036 留言 贡献创建了页面分类:集合论相关 （创建页面，内容为“此分类储存与集合论相关的条目。”）
• 2025年7月29日 (二) 16:04 Zhy137036 留言 贡献创建了页面分类:证明 （创建页面，内容为“此分类用于储存与 Googology 相关的定理和结论的证明。”）
• 2025年7月29日 (二) 15:57 Zhy137036 留言 贡献移动页面证明至无穷基数的平方等于自身，不留重定向
• 2025年7月29日 (二) 15:45 Zhy137036 留言 贡献创建了页面证明 （创建页面，内容为“== <math>\aleph_\alpha\times\aleph_\alpha=\aleph_\alpha</math> 的证明 == 证明：我们如下定义 <math>\mathrm{Ord}^2</math> 上的良序： <math display=block> \begin{aligned} (\alpha,\beta)<(\gamma,\delta)\iff{}&\max\{\alpha,\beta\}<\max\{\gamma,\delta\}\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land \alpha<\gamma)\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land\alpha=\gamma\land\beta<\delta)\\ \end{aligned} </math> 可以证明，…”）
• 2025年7月27日 (日) 12:59 Zhy137036 留言 贡献解封了Zhy137036 留言 贡献
• 2025年7月27日 (日) 12:56 Zhy137036 留言 贡献已封禁Zhy137036 留言 贡献，到期时间为2025年7月27日 (日) 13:54（停用账号创建、​停用自动封禁）
• 2025年7月24日 (四) 20:40 Zhy137036 留言 贡献创建了页面PPS分析 （扽西内容来自Phyrion）
• 2025年7月10日 (四) 17:11 Zhy137036 留言 贡献删除页面用户讨论:Zhy123456
• 2025年7月10日 (四) 17:10 Zhy137036 留言 贡献移动页面用户讨论:Zhy123456至用户讨论:Zhy137036，覆盖重定向 （恢复）
• 2025年7月10日 (四) 17:10 Zhy137036 留言 贡献通过覆盖删除重定向用户讨论:Zhy137036 （删除以便移动用户讨论:Zhy123456）
• 2025年7月10日 (四) 17:10 Zhy137036 留言 贡献移动页面用户:Zhy123456至用户:Zhy137036覆盖重定向，不留重定向 （恢复）
• 2025年7月10日 (四) 17:10 Zhy137036 留言 贡献通过覆盖删除重定向用户:Zhy137036 （删除以便移动用户:Zhy123456）
• 2025年7月10日 (四) 17:09 Zhy137036 留言 贡献移动页面用户讨论:Zhy137036至用户讨论:Zhy123456 （怎么改页面的标题）
• 2025年7月10日 (四) 17:09 Zhy137036 留言 贡献移动页面用户:Zhy137036至用户:Zhy123456 （怎么改页面的标题）
• 2025年7月7日 (一) 22:29 Zhy137036 留言 贡献创建了页面维布伦函数 （重定向页面至Veblen函数） 标签：新重定向
• 2025年7月7日 (一) 14:14 Zhy137036 留言 贡献创建了页面文件:KP Hydra 4.png （Hydra(3)砍树过程）
• 2025年7月7日 (一) 14:14 Zhy137036 留言 贡献上传文件:KP Hydra 4.png （Hydra(3)砍树过程）
• 2025年7月7日 (一) 12:56 Zhy137036 留言 贡献创建了页面文件:KP Hydra 3.png （Hydra(3)的第二次砍树）
• 2025年7月7日 (一) 12:56 Zhy137036 留言 贡献上传文件:KP Hydra 3.png （Hydra(3)的第二次砍树）
• 2025年7月7日 (一) 12:55 Zhy137036 留言 贡献上传文件:KP Hydra 2.png的新版本 （颜色提示）
• 2025年7月7日 (一) 12:48 Zhy137036 留言 贡献创建了页面文件:KP Hydra 2.png （Hydra(3)的第一次砍树）
• 2025年7月7日 (一) 12:48 Zhy137036 留言 贡献上传文件:KP Hydra 2.png （Hydra(3)的第一次砍树）
• 2025年7月7日 (一) 12:38 Zhy137036 留言 贡献创建了页面文件:KP Hydra 1.png （两棵不同的有序有根树）
• 2025年7月7日 (一) 12:38 Zhy137036 留言 贡献上传文件:KP Hydra 1.png （两棵不同的有序有根树）
• 2025年7月7日 (一) 10:40 Zhy137036 留言 贡献创建了页面LPrSS （重定向页面至长初等序列） 标签：新重定向
• 2025年7月4日 (五) 18:10 Zhy137036 留言 贡献创建了页面用户:Zhy137036 （创建页面，内容为“Test.”）
• 2025年7月3日 (四) 12:35 用户账号Zhy137036 留言 贡献已创建