主要公开日志

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

• 2023年9月11日 (一) 18:43 Gsxab 留言 贡献创建了页面整数的构造 （创建页面，内容为“分类:公理算术系统 在皮亚诺公理的基础上构造整数集，可行的过程有多种方式，下面主要介绍其中几种。 == 公理 == === 传统定义 === * 这种方法较直觉，通常用于教学；但由于分类情况较多，不适合公理化和自动推理。 有符合 Peano 公理及相应加法公理、乘法公理、序公理的自然数集 <math>N</math>，其中零为 <math>\{\mathbf{0}\}</math> ，对应的…”）