Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If we look at the axioms of Peano arithmetic, e.g. http://mathworld.wolfram.com/PeanosAxioms.html, they contain an axiom:

If $a$ is a number, the successor of $a$ is a number.

However, the axioms do not limit how many times we could apply this successor operation. So we could apply successor to $0$ finitely many times, infinitely countably, uncountably, etc. So these axioms cannot define natural numbers because all the numbers generated would not be bijective with the natural numbers.

Is it a standard mathematical assumption that axioms can be applied only finitely many times to derive a sentence or construct a mathematical object? In set theory, there is an axiom of infinity, although we could construct any infinite set within infinite number of steps (applications if the other axioms).

When defining a successor, we apply it once and get a number $1$ from $0$. But how can we apply it once if we have only a definition of $0$ available? Is this not a problem?

share|improve this question
5  
In ordinary logic, terms all have finite length. –  André Nicolas Jan 19 '13 at 20:36

1 Answer 1

up vote 3 down vote accepted

The axioms only allow finite iteration of $S$, just as you are only allowed finite iteration of logical axioms (infinite ones lead to a contradiction).

On the other hand there are strange "non-standard" models of PA which contains "infinitely" long applications of S: The reason for this is that first order logic is unable to uniquely define the notion of finiteness.

Everything you prove for arbitrary natural numbers by finitary means holds also for these non-standard numbers. It is not possible to write down a non-standard number though.


how can we apply it once if we have only a definition of 0 available?

there are two options

  • sweep the issue under the rug: We work in some other metatheory which has already been defined
  • break free: just do it - write S then write 0, no formal math needed use intuition and experience.
share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.