MATH1090 · 3
本章骨架 · 由構造得到的數系
按筆記順序列出已記錄到網上的定義與定理陳述，並連回有記錄關係的確切證明步驟。
5 節公開筆記中，0 節已有陳述記錄到網上。本頁只列出這些陳述，並非本章全部定理；有記錄的關係仍在逐條審閱。
自然數與 Peano 公理
已記錄 0 條定理 · 0 個定義
本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。
歸納法與遞歸算術
已記錄 0 條定理 · 0 個定義
本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。
由等價類構造整數
已記錄 0 條定理 · 0 個定義
本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。
有理數與良定運算
已記錄 0 條定理 · 0 個定義
本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。
Q 的缺口與為甚麼 sqrt(2) 不是有理數
已記錄 0 條定理 · 0 個定義
本節的陳述尚未記錄到網上。請閱讀原筆記中的定義與定理。