Zhy137036的用户贡献
更多操作
2025年8月24日 (星期日)
- 20:112025年8月24日 (日) 20:11 差异 历史 +4 小 首页 无编辑摘要 标签:已被回退
- 20:102025年8月24日 (日) 20:10 差异 历史 +11 小 首页 无编辑摘要
2025年8月20日 (星期三)
- 09:002025年8月20日 (三) 09:00 差异 历史 +152 小 不可达基数 无编辑摘要
2025年8月19日 (星期二)
- 21:232025年8月19日 (二) 21:23 差异 历史 +633 小 Y序列 无编辑摘要
2025年8月17日 (星期日)
- 22:492025年8月17日 (日) 22:49 差异 历史 +2,044 新 自然数 待补充:自然数的加法和乘法、非标准自然数模型、…… 当前
2025年8月15日 (星期五)
- 18:332025年8月15日 (五) 18:33 差异 历史 +1,266 不可达基数的独立性 无编辑摘要
- 13:512025年8月15日 (五) 13:51 差异 历史 +1 新 ω-Y 创建页面,内容为“1”
- 13:382025年8月15日 (五) 13:38 差异 历史 +44 小 PrSS 的良序性 撤销Zhy137036(讨论)的修订版本1885
- 13:362025年8月15日 (五) 13:36 差异 历史 +314 小 PrSS 的良序性 无编辑摘要
2025年8月7日 (星期四)
- 18:382025年8月7日 (四) 18:38 差异 历史 +21 小 PrSS 的良序性 无编辑摘要
- 18:332025年8月7日 (四) 18:33 差异 历史 +9,784 PrSS 的良序性 无编辑摘要
- 11:422025年8月7日 (四) 11:42 差异 历史 +12 小 传递闭包 →关系的传递闭包
- 11:412025年8月7日 (四) 11:41 差异 历史 +35 小 MMS 无编辑摘要
- 11:412025年8月7日 (四) 11:41 差异 历史 +35 小 Mountain Notation 无编辑摘要
- 11:402025年8月7日 (四) 11:40 差异 历史 +562 传递闭包 无编辑摘要
2025年8月5日 (星期二)
- 12:222025年8月5日 (二) 12:22 差异 历史 +1 小 Test 无编辑摘要
- 12:222025年8月5日 (二) 12:22 差异 历史 +196 Test 无编辑摘要
- 12:122025年8月5日 (二) 12:12 差异 历史 +486 小 Test 无编辑摘要
2025年8月4日 (星期一)
- 16:342025年8月4日 (一) 16:34 差异 历史 0 小 良基宇宙等同于集论全域的证明 无编辑摘要
- 16:342025年8月4日 (一) 16:34 差异 历史 −52 小 良基宇宙等同于集论全域的证明 无编辑摘要
- 16:322025年8月4日 (一) 16:32 差异 历史 +2,242 新 传递闭包 创建页面,内容为“'''定理'''(传递闭包唯一存在) 对任意集合 <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>…”
- 13:022025年8月4日 (一) 13:02 差异 历史 +64 小 初等序列系统 无编辑摘要
- 13:002025年8月4日 (一) 13:00 差异 历史 +6,358 新 PrSS 的良序性 未完
- 12:162025年8月4日 (一) 12:16 差异 历史 +27 小 无穷基数的平方等于自身 无编辑摘要
- 11:422025年8月4日 (一) 11:42 差异 历史 +2 小 条目编写指南 无编辑摘要
2025年7月30日 (星期三)
- 19:422025年7月30日 (三) 19:42 差异 历史 −4 小 条目编写指南 →常用功能实现
- 19:422025年7月30日 (三) 19:42 差异 历史 +1,008 条目编写指南 无编辑摘要
- 16:392025年7月30日 (三) 16:39 差异 历史 +285 小 良序 →概念
- 16:332025年7月30日 (三) 16:33 差异 历史 +86 小 良序 无编辑摘要
- 15:042025年7月30日 (三) 15:04 差异 历史 +45 新 分类:集合论相关 创建页面,内容为“此分类储存与集合论相关的条目。” 当前
2025年7月29日 (星期二)
- 22:522025年7月29日 (二) 22:52 差异 历史 +19 小 命数定理 无编辑摘要 标签:已被回退
- 16:022025年7月29日 (二) 16:02 差异 历史 +27 小 基数 无编辑摘要
- 16:002025年7月29日 (二) 16:00 差异 历史 +9 小 首页 把“证明”改成分类
- 16:002025年7月29日 (二) 16:00 差异 历史 +19 小 无穷基数的平方等于自身 无编辑摘要
- 15:592025年7月29日 (二) 15:59 差异 历史 +48 小 无穷基数的平方等于自身 无编辑摘要
- 15:572025年7月29日 (二) 15:57 差异 历史 0 小 无穷基数的平方等于自身 Zhy137036移动页面证明至无穷基数的平方等于自身,不留重定向
- 15:492025年7月29日 (二) 15:49 差异 历史 −2,478 小 基数 把证明转移到了条目:证明
- 15:452025年7月29日 (二) 15:45 差异 历史 +2,493 新 无穷基数的平方等于自身 创建页面,内容为“== <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> 可以证明,…”
- 15:242025年7月29日 (二) 15:24 差异 历史 +5 小 基数 →定理 \aleph_\alpha*\aleph_\alpha=\aleph_\alpha 的证明
- 15:232025年7月29日 (二) 15:23 差异 历史 +1,137 基数 无编辑摘要
2025年7月28日 (星期一)
- 18:132025年7月28日 (一) 18:13 差异 历史 +7 小 序数坍缩函数 无编辑摘要
2025年7月27日 (星期日)
- 12:542025年7月27日 (日) 12:54 差异 历史 +28 小 序数 无编辑摘要
- 12:532025年7月27日 (日) 12:53 差异 历史 +28 小 命数定理 无编辑摘要
2025年7月24日 (星期四)
- 21:002025年7月24日 (四) 21:00 差异 历史 +50 小 PPS分析 无编辑摘要 当前
- 20:472025年7月24日 (四) 20:47 差异 历史 +69,406 PPS分析 扽西内容来自Phyrion
- 20:402025年7月24日 (四) 20:40 差异 历史 +20,979 新 PPS分析 扽西内容来自Phyrion
2025年7月10日 (星期四)
- 17:102025年7月10日 (四) 17:10 差异 历史 0 小 用户讨论:Zhy137036 Zhy137036移动页面用户讨论:Zhy123456至用户讨论:Zhy137036,覆盖重定向:恢复 当前
- 17:102025年7月10日 (四) 17:10 差异 历史 0 小 用户:Zhy137036 Zhy137036移动页面用户:Zhy123456至用户:Zhy137036覆盖重定向,不留重定向:恢复 当前
- 17:092025年7月10日 (四) 17:09 差异 历史 0 小 用户讨论:Zhy137036 Zhy137036移动页面用户讨论:Zhy137036至用户讨论:Zhy123456:怎么改页面的标题
- 17:092025年7月10日 (四) 17:09 差异 历史 0 小 用户:Zhy137036 Zhy137036移动页面用户:Zhy137036至用户:Zhy123456:怎么改页面的标题