主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。
- 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>…”）