PineWikiWe already did the PeanoAxioms
Recursive definition of +, *, <.
- Axioms for +, *
- ∑i up to n = n(n+1)/2
If x ≥ y, then ax ≥ ay—proven formally for x,y,a ∈ ℕ using the PeanoAxioms.
n2 < 2n for sufficiently large n
We already did the PeanoAxioms
Recursive definition of +, *, <.
If x ≥ y, then ax ≥ ay—proven formally for x,y,a ∈ ℕ using the PeanoAxioms.
n2 < 2n for sufficiently large n
CS202/2007/Schedule/2007-09-14 (last edited 2007-12-25 23:42:15 by localhost)