Differences between revisions 2 and 3
⇤ ← Revision 2 as of 2005-01-30 19:41:44 →
Size: 340
Editor: yakko
Comment:
← Revision 3 as of 2005-01-30 19:42:15 → ⇥
Size: 339
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:
   * PressburgerArithmetic    * PresburgerArithmetic

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)