主要公开日志

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

• 2025年3月30日 (日) 16:55 Gsxab 留言 贡献创建了页面Ω₁ （重定向页面至第一个不可数序数） 标签：新重定向
• 2025年3月30日 (日) 16:38 Gsxab 留言 贡献创建了页面第一个超限序数 （创建页面，内容为“分类:序数理论 {{InfoBox |name=欧米伽 |eng_name=omega }} {{Entity |name=第一个超限序数 |symbol=<math>\omega</math> |notation=\omega |type=序数 }} 第一个超限序数，记作 ω （<math>omega</math>），也有人记作 <math>\omega_0</math> ，是所有自然数的集合的序型。 是第一个极限序数，紧接在全部自然数之后。”）
• 2025年3月10日 (一) 17:22 Gsxab 留言 贡献创建了页面ZFC 公理系统 （创建页面，内容为“分类:公理集合论 分类:以 E. Zermelo 命名 分类:以 A. Fraenkel 命名 {{InfoBox |name=ZFC公理系统 |eng_name=ZFC set theory |aliases=ZFC }} '''ZFC 公理系统'''('''ZFC set theory''')，简称 '''ZFC''' ，指为避免 Russell 悖论而对集合论进行公理化的公理系统之一。其中包含 8 条公理的版本称为 ZF 公理系统，而包含选择公理或其他等…”）
• 2025年3月10日 (一) 16:50 Gsxab 留言 贡献创建了页面存在推广 （创建页面，内容为“分类:证明论 {{InfoBox |name=存在推广 |eng_name=existential generalization |aliases=EG }} '''存在推广'''('''existential generalization''', 缩写 '''EG'')指证明论中一个常见于各种推理系统的推理规则， 即对任意谓词公式 <math>\varphi(x)</math> 和项 <math>t</math> ，有 <math>\varphi(t/x) \dashv \exists x \varphi \vdash </math> 。 这一规则将一个具体的针对某个项的命题…”）
• 2025年3月10日 (一) 16:27 Gsxab 留言 贡献创建了页面全称特化 （创建页面，内容为“分类:证明论 {{InfoBox |name=全称特化 |eng_name=universal instantiation |aliases=universal specialization,US,UI }} '''全称特化'''('''universal instantiation''' / '''universal specialization''', 缩写 '''UI''' / '''US''')指证明论中一个常见于各种推理系统的推理规则， 即对任意谓词公式 <math>\varphi</math> 和项 <math>t</math> ，有 <math>\forall x \varphi \vdash \varphi(x/t)</math> 。”）
• 2025年3月10日 (一) 16:13 Gsxab 留言 贡献创建了页面等词 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=等词 |eng_name=equality }} '''等词'''('''equality''')是分类:谓词逻辑中的一个二元谓词。通常用“=”或“是”表示，代表两个项的相同关系。推理系统中往往引入形如 <math>t=t</math> 的公理模式，称为'''等词公理'''。 {{谓词逻辑}}”）
• 2025年3月9日 (日) 08:50 Gsxab 留言 贡献创建了页面连续统假设 （创建页面，内容为“分类:公理集合论 分类:基数理论 {{InfoBox |name=连续统假设 |eng_name=continuum hypothesis |aliases=CH }} '''连续统假设'''('''continuum hypothesis''')，缩写为 '''CH''' ，指公理集合论中的一个假设。这一假设指不存在介于自然数基数 <math>\aleph_0</math> 和连续统 <math>\mathfrak{c}=\beth_1=2^\aleph_0</math> 之间的基数，也可以表述为 <mat…”）
• 2025年3月7日 (五) 19:59 Gsxab 留言 贡献创建了页面良序定理 （创建页面，内容为“分类:公理集合论 以 E. Zermelo 命名 {{InfoBox |name=良序定理 |eng_name=well-ordering theorem |aliases=well-ordering theorem,策梅洛定理,Zermelo's theorem }} '''良序定理'''('''well-ordering theorem''')是说明每个集合都是一个良序集，或者说每个集合上都存在一个良序。等价于选择公理，如果添加到 ZF 公理体系上，会得到 ZFC 公理体系，此时作为公理也称为'''良…”）
• 2025年3月7日 (五) 19:48 Gsxab 留言 贡献创建了页面选择公理 （创建页面，内容为“分类:公理集合论 {{InfoBox |name=选择公理 |eng_name=axiom of choice |aliases=AC,AoC }} {{InfoBox |name=选择映射 |eng_name=choice function |aliases=选择子,selector,selection }} '''选择公理'''('''axiom of choice''')，缩写 '''AC''' ，指公理集合论中的一个公理，这一公理假设对任意多个集合，总是能找到一种取数方式，使得我们可以从中每个集合中取出刚好…”）
• 2025年3月7日 (五) 17:50 Gsxab 留言 贡献移动页面希尔伯特系统至Hilbert 系统
• 2025年3月7日 (五) 17:48 Gsxab 留言 贡献创建了页面ZF 公理系统 （创建页面，内容为“分类:公理集合论 分类:以 E. Zermelo 命名 分类:以 A. Fraenkel 命名 {{InfoBox |name=策梅洛–弗兰克尔公理系统 |eng_name=Zermelo–Fraenkel set theory |aliases=策梅洛–弗兰克尔公理体系,策梅洛–弗兰克尔公理集合论,ZF }} '''<ins>策梅洛</ins>–<ins>弗兰克尔</ins>公理系统'''('''Zermelo–Fraenkel set theory''')，简称 '''ZF 公理系统'''或 '''ZF''' ，指为避免 Russell 悖论而对:…”）
• 2025年3月7日 (五) 14:39 Gsxab 留言 贡献创建了页面公理系统（集合论） （重定向页面至公理集合论） 标签：新重定向
• 2025年3月7日 (五) 14:28 Gsxab 留言 贡献创建了页面分类:公理集合论 （创建页面，内容为“分类:集合论 公理集合论是朴素集合论遇到悖论后被公理化的分支。主要的公理化方式是 ZF 公理系统或加入选择公理的 ZFC 公理系统，也存在其他公理化方式。”）
• 2025年3月7日 (五) 14:23 Gsxab 留言 贡献创建了页面分类:序数理论 （创建页面，内容为“分类:公理集合论 序数理论是公理集合论中关于序数的理论。”）
• 2025年3月7日 (五) 14:22 Gsxab 留言 贡献创建了页面分类:基数理论 （创建页面，内容为“基数理论是公理集合论中关于基数的理论。”）
• 2025年3月7日 (五) 13:26 Gsxab 留言 贡献创建了页面ℶ0 （重定向页面至ℶ₀） 标签：新重定向
• 2025年3月7日 (五) 13:25 Admin 留言 贡献删除页面ℶ0 （内容为：“#重定向 ℶ₀”，唯一贡献者是“Gsxab”（讨论））
• 2025年3月6日 (四) 18:31 Gsxab 留言 贡献创建了页面ℶ0 （重定向页面至ℶ₀） 标签：新重定向
• 2025年3月6日 (四) 18:30 Gsxab 留言 贡献创建了页面ℶ₀ （重定向页面至ℵ₀） 标签：新重定向
• 2025年3月6日 (四) 15:50 Gsxab 留言 贡献创建了页面第一个超限基数 （重定向页面至ℵ₀） 标签：新重定向
• 2025年3月3日 (一) 16:02 Gsxab 留言 贡献移动页面ℶ 记号至ℶ 数
• 2025年3月3日 (一) 16:01 Gsxab 留言 贡献移动页面ℵ 记号至ℵ 数
• 2025年3月2日 (日) 17:45 Gsxab 留言 贡献创建了页面序数 （创建页面，内容为“分类:序数理论 {{InfoBox |name=序数 |eng_name=ordinal number |aliases=ordinal }} '''序数'''('''ordinal number''')指给定一个标准集合与其他集合进行保持顺序的一一对应。 序数用自然数（'''有限序数'''）衡量有限良序集合中元素的顺序，用后续的序数（'''超限序数'''）衡量无限良序集合中的“无穷”的顺序。区别于基数。 == 记号 == 按照 von Neumann 的自然数构造…”）
• 2025年3月2日 (日) 08:05 Gsxab 留言 贡献创建了页面ℶ 记号 （创建页面，内容为“分类:基数理论 {{InfoBox |name=ℶ记号 |eng_name=beth notation }} ℶ 记号是表达超限基数的记号。其中 ℶ₀ 表示第一个超限序数，也就是和自然数集的势相等的超限序数，同 ℵ₀ 。然后每一个 <math>\beth_n</math> 都代表前一个超限基数的幂集对应的超限基数，记作 <math>\beth_{n+1} = 2^{\beth_n}</math> 。”）
• 2025年3月2日 (日) 08:01 Gsxab 留言 贡献创建了页面ℵ 记号 （创建页面，内容为“分类:集合论 分类:基数理论 {{InfoBox |name=ℵ记号 |eng_name=aleph notation }} ℵ 记号是表达超限基数的记号。其中 ℵ₀ 表示第一个超限序数，也就是和自然数集的势相等的超限序数。然后每一个 <math>\aleph_n</math> 都代表比前一个超限基数更大的下一个超限基数。”）
• 2025年3月2日 (日) 07:52 Gsxab 留言 贡献创建了页面超限基数 （重定向页面至基数#自然数基数和超限基数） 标签：新重定向
• 2025年2月19日 (三) 18:56 Gsxab 留言 贡献移动页面P-进数至P 进数
• 2025年2月19日 (三) 18:48 Gsxab 留言 贡献创建了页面Ostrowski 定理 （创建页面，内容为“分类:代数数论 分类:以 A. M. Ostrowski 命名 {{InfoBox |name=奥斯特洛夫斯基定理 |eng_name=Ostrowski's theorem }} '''<ins>奥斯特洛夫斯基</ins>定理'''('''Ostrowski's theorem''')是代数数论中的定理，指出了实数上非平凡的距离只可能是绝对值和 <math>p</math> 进绝对值。”）
• 2025年2月19日 (三) 18:25 Gsxab 留言 贡献创建了页面P-进数 （创建页面，内容为“分类:数系 {{InfoBox |name=p进数 |eng_name=p-adic number |aliases=p-进数 }} '''<math>p</math>-进数'''('''<math>p</math>-adic numbers''')指是有理数除实数外的另一种完备化，其中数 <math>p</math> 通常取质数以得到较好的性质。在 <math>p</math> 进数系中， Cauchy 序列不是按照绝对值收敛，而是按照离散的 <math>p</math> 进绝对值收敛。…”）
• 2025年2月19日 (三) 18:14 Gsxab 留言 贡献移动页面P 进赋值至P-进赋值
• 2025年2月19日 (三) 17:43 Gsxab 留言 贡献创建了页面实数 （创建页面，内容为“分类:数系 {{InfoBox |name=实数 |eng_name=real number |aliases=real }} '''实数'''('''real numbers''')指可以被表示在数轴上的数，也就是和所有可能的如距离、长度等连续一维量对应的数。此处“连续”一词指任意两个数可以无限接近，形式化为存在 Cauchy 序列。实数包括 0 、正实数和负实数三部分，也可以按是否是有理数分为有理数和无理数两部…”）
• 2025年2月19日 (三) 16:56 Gsxab 留言 贡献创建了页面有理数 （创建页面，内容为“分类:数系 {{InfoBox |name=有理数 |eng_name=integer }} '''整数'''('''integer''')指可以表示为两个整数之比的数。有理数包括 0 、正有理数和负有理数三部分，也可以按是否是整数分为整数和分数两部分。 其基于整数扩展，公理化形式是有理数的构造。 其集合为有理数集 <math>\mathbb{Q}</math> <ref>Quotient 。</ref>。有理数集上的加法…”）
• 2025年2月15日 (六) 05:26 Gsxab 留言 贡献创建了页面自然数加法幺半群 （创建页面，内容为“分类:群实例 {{InfoBox |name=自然数加法幺半群 |eng_name=additive monoid of natural numbers }} {{Identity |name=自然数加法幺半群 |type=交换幺半群 |symbol=<math>(\mathbb{N},+)</math>,<math>\mathbb{N}^+</math> |latex=\mathbb{N}^+ }} '''自然数加法幺半群'''('''additive group of natural numbers''')指自然数集 <math>\mathbb{N}</math> 上通过自然数集上的加法 <math>+</math> 构成的交换幺半群，记作…”）
• 2025年2月15日 (六) 04:46 Gsxab 留言 贡献创建了页面正整数加法半群 （创建页面，内容为“分类:群实例 {{InfoBox |name=正整数加法半群 |eng_name=additive semigroup of positive integers |aliases=正整数加半群 }} {{Identity |name=正整数加法半群 |type=交换半群 |symbol=<math>(\mathbb{N}^*,+)</math> }} '''正整数加法半群'''('''additive semigroup of positive integers''')指正整数集 <math>\mathbb{N}^*</math> 上通过正整数集加法 <math>+</math> 构成的交换半群。 * 良定义、封闭性…”）
• 2025年2月14日 (五) 15:08 Gsxab 留言 贡献创建了页面整数加群 （创建页面，内容为“分类:群实例 {{InfoBox |name=整数加群 |eng_name=additive group of integers |aliases=整数加法群 }} {{Identity |name=整数加群 |type=交换群 |symbol=<math>(\mathbb{Z},+)</math>,<math>\mathbb{Z}^+</math> |latex=(\mathbb{Z},+),\mathbb{Z}^+ }} '''整数加群'''('''additive group of integers''')指整数集 <math>\mathbb{Z}</math> 上通过整数集加法 <math>+</math> 构成的交换群，记作 <math>(\mathbb{Z},+)</math> 或 <ma…”）
• 2025年2月14日 (五) 14:39 Gsxab 留言 贡献创建了页面自由幺半群 （创建页面，内容为“分类:群论 分类:群实例 {{InfoBox |name=自由幺半群 |eng_name=free monoid }} {{InfoBox |name=自由半群 |eng_name=free semigroup }} 集合上的'''自由幺半群'''('''free group''')/'''自由半群'''('''free semigroup''')指由给定集合生成，此外没有任何额外约束的幺半群/半群。 也说一个可以看作这样生成的幺半群/半群是'''自由的'''('''free''')。 “自由(free)”是指不假定任…”）
• 2025年2月9日 (日) 08:38 Gsxab 留言 贡献创建了页面标准分解 （重定向页面至标准质因数分解） 标签：新重定向
• 2025年2月7日 (五) 17:12 Gsxab 留言 贡献创建了页面正方体数 （重定向页面至完全立方数） 标签：新重定向
• 2025年2月7日 (五) 17:11 Gsxab 留言 贡献创建了页面立方体数 （重定向页面至完全立方数） 标签：新重定向
• 2025年2月7日 (五) 16:55 Gsxab 留言 贡献创建了页面金字塔数 （创建页面，内容为“分类:形状数 {{InfoBox |name=金字塔数 |eng_name=pyramidal number |aliases=四棱金字塔数,square pyramidal number }} 形状数理论中，能按照等间距圆点被排列为等棱正四棱锥或者说连续叠置的正方形，这样的数称为'''金字塔数'''('''pyramidal number''')。 == 定义 == 对整数 <math>m \in \mathbb{Z}</math> ，若 <math>(\exists n\in \mathbb{N})(1 + 2^2 + 3^2 + \cdots + n^2 = m)<…”）
• 2025年2月7日 (五) 16:34 Gsxab 留言 贡献创建了页面四面体数 （创建页面，内容为“分类:形状数 {{InfoBox |name=四面体数 |eng_name=tetrahedral number |aliases=三角金字塔数,三棱金字塔数,tetrahedron number,triangular pyramidal number }} 形状数理论中，能按照等间距圆点被排列为正四面体的数称为'''四面体数'''('''tetrahedral number''')。 == 定义 == 对整数 <math>m \in \mathbb{Z}</math> ，若 <math>(\exists n\in \mathbb{N})(1 + (1 + 2) + (1+ 2 +3) + \cdots + (1+2+…”）
• 2025年2月7日 (五) 16:02 Gsxab 留言 贡献创建了页面完全立方数 （创建页面，内容为“分类:数论 分类:形状数 {{InfoBox |name=完全立方数 |eng_name=perfect cube |aliases=立方数 }} {{InfoBox |name=立方体数 |eng_name=cube number |aliases=正方体数 }} 数论中，'''完全立方数'''('''perfect cube''')指一个整数可以看作另一个整数的立方，也简称为'''立方数'''('''cube number''')。 形状数理论中，能按照等间距圆点被排列为立方…”）
• 2025年2月5日 (三) 15:33 Gsxab 留言 贡献创建了页面三角形数 （创建页面，内容为“分类:形状数 {{InfoBox |name=三角形数 |eng_name=triangular number |aliases=triangle number }} 形状数理论中，能按照等间距圆点被排列为等边三角形的数称为'''三角形数'''('''triangular/triangle number''')。 == 定义 == 对整数 <math>m \in \mathbb{Z}</math> ，若 <math>(\exists n\in \mathbb{N})(1 + 2 + \cdots + n = m)</math> ，则称整数 <math>m</math> 是一个'''三角形数'''('''triang…”）
• 2025年2月5日 (三) 15:23 Gsxab 留言 贡献创建了页面正方形数 （重定向页面至完全平方数） 标签：新重定向
• 2025年2月5日 (三) 15:21 Gsxab 留言 贡献创建了页面完全平方数 （创建页面，内容为“分类:数论 分类:形状数 {{InfoBox |name=完全平方数 |eng_name=perfect square |aliases=平方数 }} {{InfoBox |name=正方形数 |eng_name=square number }} 数论中，'''完全平方数'''('''perfect square''')指一个整数是另一个整数的平方，也简称为'''平方数'''('''square number''')。 形状数理论中，能被排列为正方形的数称为'''正方形数'''('''square num…”）
• 2025年2月5日 (三) 14:55 Gsxab 留言 贡献创建了页面无平方因数 （创建页面，内容为“分类:整除理论 {{InfoBox |name=无平方因数 |eng_name=square-free |aliases=无平方因子 }} '''无平方因子'''('''square-free''')指一个整数不能被除 1 以外的完全平方数整除，或者说其标准质因数分解中全部质因数的指数都不会超过 1 。”）
• 2025年2月1日 (六) 09:52 Gsxab 留言 贡献创建了页面四则运算 （创建页面，内容为“分类:数的运算 {{InfoBox |name=四则运算 |eng_name=four fundamental operations of arithmetic |aliases=四种基本算术运算 }} 四则运算(four fundamental operations of arithmetic)，或称四种基本算术运算，是加法、减法、乘法、除法四种运算的合称。 {{四则运算}}”）
• 2025年2月1日 (六) 08:39 Gsxab 留言 贡献创建了页面循环左移 （创建页面，内容为“分类:位运算 {{InfoBox |name=循环左移 |eng_name=rotate left |aliases=rotational shift left }} '''循环左移'''('''rotate left''', '''rotational shift left''')是位运算的一种，指将数据的全部位向高位移动并把左侧溢出的部分补在低位的运算。 == 定义 == {{Operation |name=循环左移 |operand=二进制串,自然数 |result=二进制串 |domain=<math>\mathbb{B}^n \times \mathbb{N}</math> |codom…”）
• 2025年2月1日 (六) 08:36 Gsxab 留言 贡献创建了页面循环右移 （创建页面，内容为“分类:位运算 {{InfoBox |name=循环右移 |eng_name=rotate right |aliases=rotational shift right }} '''循环右移'''('''rotate right''', '''rotational shift right''')是位运算的一种，指将数据的全部位向右位移动并把右侧溢出的部分补在高位的运算。 == 定义 == {{Operation |name=循环右移 |operand=二进制串,自然数 |result=二进制串 |domain=<math>\mathbb{B}^n \times \mathbb{N}</math> |c…”）
• 2025年2月1日 (六) 07:50 Gsxab 留言 贡献创建了页面右移 （重定向页面至算术右移） 标签：新重定向