MATH1090 · 3
Chapter outline · Numbers by construction
Definitions and theorem statements recorded in the web, in note order, with the exact proof steps behind their recorded connections.
0 of 5 public sections have indexed statements. This outline covers only those statements, not every theorem in the chapter. Recorded connections are still being reviewed.
Natural numbers and Peano's axioms
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.
Induction and recursive arithmetic
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.
Integers from equivalence classes
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.
Rationals and well-defined operations
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.
Gaps in Q and why sqrt(2) is not rational
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.