主要公开日志

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

• 2023年9月2日 (六) 11:10 Gsxab 留言 贡献创建了页面后继 （创建页面，内容为“{{InfoBox |name=后继 |eng_name=successor |aliases=超-0运算,zeration }} '''后继'''运算('''successor''' operation)是一元运算，取一个自然数的下一个。也称'''后继'''函数('''successor''' function)。 {{Operation |name=后继 |symbol=<math>^+</math>,<math>S(\bullet)</math> |latex=^+,S() |operand=自然数 |result=正整数 |domain=<math>\mathbb{N}</math> |codomain=<math>\mathbb{N}^*</math> }} 严格地说，后继是自然数的定义…”）