Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

12:172025年7月30日 (三) 12:17 差异历史 0 小大数史 →参考文献
12:162025年7月30日 (三) 12:16 差异历史 +1,507 条目编写指南无编辑摘要标签：可视化编辑
11:362025年7月30日 (三) 11:36 差异历史 +56 小大数史修改引用标签：可视化编辑
10:292025年7月30日 (三) 10:29 差异历史 −118 小大数史无编辑摘要标签：可视化编辑

20:372025年7月29日 (二) 20:37 差异历史 +86 小冯诺依曼宇宙无编辑摘要标签：可视化编辑
20:362025年7月29日 (二) 20:36 差异历史 +107 小传递集无编辑摘要当前标签：可视化编辑
20:322025年7月29日 (二) 20:32 差异历史 +3,679 新传递集创建页面，内容为“在集合论中，'''传递集'''（或递移集，Transitive Set）是一种特殊的集合，其元素的所有元素也属于该集合本身。这一概念是集合论模型论和构造性集合论（如内模型理论）的基础工具。 === 定义 === 一个集合 <math>U</math> 称为传递集，当且仅当它满足以下条件： <math>\forall x\in U\forall y(y\in x\Rightarrow y\in U)</math> 即，若 <math>x</math> 是 ''<math>U</math…” 标签：可视化编辑
20:192025年7月29日 (二) 20:19 差异历史 −10 小古戈尔无编辑摘要标签：可视化编辑
20:182025年7月29日 (二) 20:18 差异历史 −28 小可构造宇宙无编辑摘要标签：可视化编辑
19:562025年7月29日 (二) 19:56 差异历史 −4 小 Catching 函数无编辑摘要标签：可视化编辑
19:562025年7月29日 (二) 19:56 差异历史 +50 小 Beklemishev's Worm 无编辑摘要标签：可视化编辑
19:532025年7月29日 (二) 19:53 差异历史 +14 小传递模型无编辑摘要当前标签：可视化编辑
19:532025年7月29日 (二) 19:53 差异历史 +1,096 新内模型创建页面，内容为“在集合论中，'''内模型'''（Inner Model）是指一个满足 ZFC 公理的传递类模型（即其元素关系在更广泛的宇宙中保持绝对），且包含所有序数。内模型是研究集合论基础问题（如大基数公理的一致性强度、独立性证明等）的核心工具之一，尤其在内模型计划（Inner Model Program）中扮演关键角色。 === 定义与性质 === * 若 <math>M</math> 是内模型…” 标签：可视化编辑
19:492025年7月29日 (二) 19:49 差异历史 +36 小下箭号表示法无编辑摘要标签：可视化编辑
19:482025年7月29日 (二) 19:48 差异历史 +1,682 新传递模型创建页面，内容为“在集合论中，'''传递模型'''（或称'''传递结构'''，Transitive Model）是一种特殊的模型（结构），其元素的元素仍属于该模型。它是研究集合论公理（如 ZFC）及其独立性、内模型理论（Inner Model Theory）和力迫法（Forcing）的重要工具。 === 定义 === 一个传递模型通常指一个二元组 <math>(M,\in M)</math>，其中 <math>M</math> 是一个集合或真类，<math>\i…” 标签：可视化编辑
19:442025年7月29日 (二) 19:44 差异历史 +31 小 Googology 社区无编辑摘要标签：可视化编辑
19:422025年7月29日 (二) 19:42 差异历史 +24 小一致性无编辑摘要标签：可视化编辑
19:412025年7月29日 (二) 19:41 差异历史 +1,966 新一致性创建页面，内容为“在'''集合论'''中，'''一致性'''（Consistency）指一个形式理论无法推导出矛盾（即同时证明某个命题及其否定）。若一个理论存在至少一个模型（即满足所有公理的结构），则该理论是一致的。一致性是形式系统可信度的核心，确保其推导的定理不会导致逻辑悖论。 === 定义 === 若理论 <math>T</math> 中不存在命题 <math>\varphi</math> 使得 <math>T\vdash\varphi</math>…” 标签：可视化编辑
19:342025年7月29日 (二) 19:34 差异历史 +23 小 TREE函数无编辑摘要标签：可视化编辑
19:312025年7月29日 (二) 19:31 差异历史 0 小 SVO 无编辑摘要标签：可视化编辑
19:302025年7月29日 (二) 19:30 差异历史 +12 小序数坍缩函数无编辑摘要标签：可视化编辑
19:272025年7月29日 (二) 19:27 差异历史 −19 小 JO 无编辑摘要标签：可视化编辑
19:262025年7月29日 (二) 19:26 差异历史 −39 小初等序列系统无编辑摘要标签：可视化编辑
19:242025年7月29日 (二) 19:24 差异历史 +6 小 Kirby-Paris Hydra 无编辑摘要标签：可视化编辑
19:172025年7月29日 (二) 19:17 差异历史 −62 小 Tritri 无编辑摘要标签：可视化编辑
19:162025年7月29日 (二) 19:16 差异历史 +1 小 FUO 无编辑摘要标签：可视化编辑
19:142025年7月29日 (二) 19:14 差异历史 +43 小序数坍缩函数无编辑摘要标签：可视化编辑
19:142025年7月29日 (二) 19:14 差异历史 +1,299 新 FUO 创建页面，内容为“在集合论中，<math>\omega_1</math>（First Uncountable Ordinal，FUO）表示第一个不可数序数，即所有可数序数的最小上界。它是序数的良序集合，其元素为所有与自然数集序型相同的可数良序集。作为序数，<math>\omega_1</math> 本身是不可数的，其基数为 <math>\aleph_1</math>，即第一个不可数基数。在 ZFC 公理体系下…” 标签：可视化编辑
19:042025年7月29日 (二) 19:04 差异历史 +21 小忙碌海狸函数无编辑摘要标签：可视化编辑
19:012025年7月29日 (二) 19:01 差异历史 +33 小文件:Test.png 无编辑摘要当前标签：可视化编辑
16:332025年7月29日 (二) 16:33 差异历史 +815 条目编写指南无编辑摘要标签：可视化编辑
16:122025年7月29日 (二) 16:12 差异历史 −4 小 CKO 无编辑摘要标签：可视化编辑
16:122025年7月29日 (二) 16:12 差异历史 +17 小忙碌海狸函数无编辑摘要标签：可视化编辑
16:122025年7月29日 (二) 16:12 差异历史 +28 小 Ξ函数无编辑摘要标签：可视化编辑
16:102025年7月29日 (二) 16:10 差异历史 +23 小忙碌海狸函数无编辑摘要标签：可视化编辑
16:102025年7月29日 (二) 16:10 差异历史 +1,575 CKO 无编辑摘要标签：可视化编辑
16:042025年7月29日 (二) 16:04 差异历史 +38 小可构造宇宙无编辑摘要标签：可视化编辑
16:022025年7月29日 (二) 16:02 差异历史 +82 小投影序数无编辑摘要
16:002025年7月29日 (二) 16:00 差异历史 +3 小投影序数无编辑摘要标签：可视化编辑
15:552025年7月29日 (二) 15:55 差异历史 +13 小 JO 无编辑摘要标签：可视化编辑
15:542025年7月29日 (二) 15:54 差异历史 +755 BMS 无编辑摘要标签：可视化编辑
15:222025年7月29日 (二) 15:22 差异历史 +29 小超运算序列无编辑摘要当前标签：可视化编辑
15:142025年7月29日 (二) 15:14 差异历史 +170,575 Googolism - Part 6 无编辑摘要标签：可视化编辑
15:052025年7月29日 (二) 15:05 差异历史 +148,607 Googolism - Part 5 无编辑摘要当前标签：可视化编辑
14:592025年7月29日 (二) 14:59 差异历史 +96,926 Googolism - Part 4 无编辑摘要当前标签：可视化编辑
14:542025年7月29日 (二) 14:54 差异历史 +118,248 Googolism - Part 3 无编辑摘要当前标签：可视化编辑
14:432025年7月29日 (二) 14:43 差异历史 −54,154 Googolism - Part 6 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换
14:432025年7月29日 (二) 14:43 差异历史 −78,541 Googolism - Part 5 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换
14:432025年7月29日 (二) 14:43 差异历史 −52,656 Googolism - Part 4 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换
14:432025年7月29日 (二) 14:43 差异历史 −49,988 Googolism - Part 3 页面内容被替换为“【更小 | 主页 | 更大】【更小 | 主页 | 更大】分类:经典大数” 标签：替换

2025年7月30日 (星期三)

2025年7月29日 (星期二)