Size: 303
Comment:
|
← Revision 3 as of 2005-01-30 19:42:15 ⇥
Size: 339
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"] * 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
[http://mathworld.wolfram.com/PeanoArithmetic.html "Peano Arithmetic"]