MATH1090 · 3
本章骨架 · 由构造得到的数系
按笔记顺序列出已记录到网上的定义与定理陈述，并连回有记录关系的确切证明步骤。
5 节公开笔记中，0 节已有陈述记录到网上。本页只列出这些陈述，并非本章全部定理；有记录的关系仍在逐条审核。
自然数与 Peano 公理
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
归纳法与递归算术
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
由等价类构造整数
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
有理数与良定运算
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
Q 的缺口与为什么 sqrt(2) 不是有理数
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。