Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2005-01-30 19:41:15 →
Size: 303
Editor: yakko
Comment:
← Revision 2 as of 2005-01-30 19:41:44 → ⇥
Size: 340
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
See [http://mathworld.wolfram.com/PeanoArithmetic.html "Peano Arithmetic"] See     * [http://mathworld.wolfram.com/PeanoArithmetic.html "Peano Arithmetic"]
   * PressburgerArithmetic

The theory of natural numbers defined by the five Peano's axioms. Paris and Harrington (1977) gave the first "natural" example of a statement which is true for the integers but unprovable in Peano arithmetic (Spencer 1983).

See

PeanoArithmetic (last edited 2005-01-30 19:42:15 by yakko)