1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The Place of Natural Numbers in Axiomatic Mathematics

  1. Mar 25, 2013 #1
    I'm trying to write down an axiomatic development of most of mathematics, and I'm wondering whether it's logically permissible to use natural numbers as subscripts before they have been defined in terms of the Peano Axioms.

    For instance... the idea of function is used in the Peano axioms (successor function), so clearly function has to be introduced before the Peano axioms. But the ideas of operation and sequence are closely related to the idea of a function, yet they use natural numbers either to denote the number of sets in a Cartesian product or the order of items in a list. So should those concepts come in a section about functions before the Peano axioms or afterwards? Do those "list-helper" natural numbers need to come after the Peano Axioms? Or are they simply "dummy numbers" and can thus come beforehand?

    I guess it comes down to whether we're okay with accepting the natural numbers for use as a pre-mathematical notion when they're not being used explicitly, sort of how the ideas of "implies" and "for every" are simply logical prerequisites. However, if you take this approach, you get into some murky waters, as the sequence idea can also be introduced in terms of a function which has the natural numbers as its domain. In that case, where numbers are the input of a function, it seems that we are using the actual natural numbers, not simply the list-helper natural numbers.

  2. jcsd
  3. Mar 26, 2013 #2
    You need the text: Foundations of Analysis by Edmund Landau. Trust me. Buy it.
  4. Mar 26, 2013 #3


    User Avatar
    Science Advisor

    As far as "subscripts" are concerned, you don't need to use numbers- any discrete ordered set will do. But you do not need "subscripts" or sequences to use Peano's axioms.

    Peano's axioms: the "natural numbers" consist of a set N and a function s from N to N such that:
    1) There exist a unique member of N, 1, such that s is a function from N onto N-{1}.
    2) If a set X contains 1 and, for any x in X, s(x) is also in X, then X= N.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: The Place of Natural Numbers in Axiomatic Mathematics
  1. Natural Numbers (Replies: 7)

  2. Natural Numbers (Replies: 3)

  3. Natural Numbers (Replies: 11)