Peano's Axioms: Mathematical Philosophy In Peano Axioms, why is it necessary to define number and successor. Does not using them imply that we know what they mean? Or could they have just as easily been any two arbitrary terms which are not associated with “numbers” say widget and descendent respectively? Where by having the following:


*

*0 is a widget

*The descendent of every widget is a widget

*…


Given the axioms, are we to assume that we are at the starting point in which we don’t know anything about numbers (analogous to the discovery of an element) or, do we already know how numbers work are the axioms simply describe their behavior?
Assuming we don’t know what is meant by successor (because it has to be defined), why isn’t it necessary to include in the axioms that every number has one successor
 A: I suggest you to read Peano's paper (1889). You can see the English translation in :


*

*Jean van Heijenoort (editor), From Frege to Gödel : A Source Book in Mathematical Logic(1967), page 83-on :



Among the signs [i.e. notions] of arithmetic, those that can be expressed by other signs of arithmetic together with the signs of logic represent the ideas that we can define. 
Thus, I have defined all signs except the four that are contained in the explanations of §1 [The primitive, i.e. undefined, arithmetic notions are : "number", "one", "successor", and "is equal to"].
If, as I think, these cannot be reduced any further, it is not possible to define the 
  ideas expressed by them through ideas assumed to be known previously.
Propositions that are deduced from others by the operations of logic are theorems; 
  propositions that are not thus deduced I have called axioms. There are nine [four regarding "equality" and five "arithmetical"] of these axioms (§1), and they express the fundamental properties of the signs that lack definition [emphasis mine]. 

Thus, omitting "is equal to", that today we prefer to class among the logical notions, the primitive notions of "number", "one", "successor" are undefined.
The arithmetical axioms are :

$1 \in \mathbb N$ : $1$ is a number
$a \in \mathbb N \to a+1 \in \mathbb N$ : the successor of any number is a number
$a,b \in \mathbb N \to (a=b \leftrightarrow a+1 = b+1)$ : two numbers are equal iff their successors are equal
$a \in \mathbb N \to \lnot (a + 1 = 1)$ : $1$ is not the successor of any number

and the induction axiom.
A: One can make either choice: interpreting the Peano axioms as (1) assertions about actual numbers of which we have some prior knowledge, or (2) a list of axioms for a logical theory, in which it's as good to call an element a widget as a number. In case (2) we have to explain why in the world we picked these particular axioms, and the explanation is that the axioms abstract certain properties of real-world objects we repeatedly observe. On the other hand many people have been suspicious about the kind of assertion in (1) that we can have direct, pre-logical knowledge of the natural numbers, in which case a more formal approach such as (2) is called for.
A: Many properties of the natural numbers were known for centuries before Peano. Dedekind and Peano, in the late 19th century set out to identify their essential properties from which, it was hoped, all others could be derived. So successful were they in this regard, that, for all practical purposes, Peano's Axioms have come to define the natural numbers. From these axioms, along with the axioms of set theory, we can construct the addition, multiplication and exponentiation functions. Likewise, we can construct the integers, rational, real and complex numbers along with the arithmetic operations associated with these number systems.
The Peano Axioms are all really quite intuitive. Here I present a modern, set-theoretic version.
We start with a set $\mathbb{N}$. 


*

*$0$ is a number: $$0\in\mathbb{N}$$

*For every number there exists a unique successor, i.e. we have function $S$ such that: $$\forall x\in \mathbb{N}: S(x)\in \mathbb{N}$$

*If two numbers $x$ and $y$ have the same successor, then $x=y$: $$\forall x,y \in\mathbb{N}: [S(x)=S(y)\implies x=y]$$

*No numbers have a successor of $0$: $$\forall x\in\mathbb{N}:S(x)\ne 0$$

*Let $P$ be any subset of $\mathbb{N}$. Suppose $0\in P$. Suppose further that if $k\in P$ then $S(k)\in P$. Then every number is in set $P$:
$$\forall P\subset \mathbb{N}:[[0\in P \land \forall k\in P: S(k)\in P]\implies \forall x\in \mathbb{N}: x\in P]$$
A: When it comes down to it, you can't have a mathematical foundation without some sort of acceptance of the natural numbers as self evident knowledge. Almost all mathematics is carried out with a foundation in first order logic, most foundations being first order theories of some sort. However, if you accept first order logic, you are implicitly accepting the natural numbers. The structure of the natural numbers is embedded in first order logic in many ways, I give an example here.
Take for example the statement ∃x,y∀z( y∈x & (z∈x->y=z) ). This means that there there exists an element x such that there is exactly one element y such that y∈x. Note that this statement does not rely on any first order theory, this is simply a statement in general first order logic. Then there is a statement in first order logic (again, the language in general, not an axiomatized theory in it), that captures the notion of '1'. Likewise, ∃x,y,z∀w( y∈x & z∈x & y≠z & (w∈x->w=y V w=z)) captures the notion of '2' (there are exactly 2 elements in x). This can be done for all natural numbers (0 can be represented by ∃x∀y(y∉x)).
Addition can be seen in general first order logic as (taking 1+2 as an example):
∃x,y,z[ ∃a∀b(a∈y&(b∈y->a=b)) & ∃a,b∀c(a∈z&b∈z&a≠b&(c∈z->c=a V c=b)) & (a)~(a∈y&a∈z) & (a)(a∈x <-> a∈y V a∈z ) ]
This says there is exactly one element in y (in the sense that there is exactly one a such that a∈y), and there are exactly 2 elements in z. Furthermore, y and z are disjoint, and x is their union. Then x contains 1+2 elements. First order logic permits a proof that x consequently has 3 elements in the same sense as described earlier.
Multiplication is more complicated, so I'll just outline it. To represent k = m*n, assert x has m elements, and assert each of these has n elements, and that the elements of x are disjoint. Then assert that y has precisely those elements that are contained in elements of x. Then y has k=m*n elements. Again, first order logic allows a proof that y has k elements in the direct sense given earlier.
In this manner, first order logic exhibits all the complexity of the integers under the operations '<', '+', and 'x' ('<' can be encoded similarly). In fact, a lot more complexity than this is contained in first order logic, without any axiomatized thoery. The analogs of the Peano axioms associated with the above discussion cannot be proven from general first order logic, as quantification over formulas is not allowed, but very precise and formal outlines can be given that immediately produce proofs of every expressible instance of the peano axioms, and so the axioms are, to the extent they are expressible, available.
The point of all this is that if you accept first order logic at all, you have already accepted a system which has a structure more complex than the structure of the natural numbers under the basic operations.
So, although you can say that at the start of your mathematical development you know nothing of the natural numbers, such a perspective contradicts the acceptance of the very language in which the Peano Axioms will be written. So, the reality is, in one way or another, we accept the natural numbers as self evident knowledge. Anyone who says otherwise and who supposes any first order theory embodies self evident truth is just accepting the integers as self evident without realizing it.
A: Erase from your mind all comprehension of numbers and start (almost) from the philosophical starting gate. Here we give the 'widget' answer, creating the natural numbers.
So grappling with the concept of infinity, we come up with an abstract machine as depicted here:

The machine takes in a ruler and extends it by attaching the input to an extension with a rivet (both supplied by the machine).
If we consider the collection of all rulers, the machine will map each one to another one, but the $\mathsf |$, the initial 'seed', will not be seen as an output.
Ok, this thought experiment gives us confidence that we can 'get abstract', using the set theory framework.
Definition: A Dedekind Push Entlang Maschine is a tuple $(f, X, n_0)$ with
$f: X \to X$ an injective function such that $n_0 \in X$ but $n_0 \notin f(X)$.
Axiom: There exist a Dedekind Push Entlang Maschine.
Here comes the amazing aspect of this - buried inside a Dedekind Push Entlang Maschine is a 'copy' of the Create Rulers Machine.
Proposition 1: Let $(f, X, n_0)$ be any Dedekind Push Entlang Maschine. Then there exist a subset $N$ of $X$ with the properties that
$\tag a \text{The restriction } (f, N, n_0) \text{ is another Dedekind Push Entlang Maschine}$
$\tag b \text{If } M \subset N \text{ and } (f, M, n_0) \text{ is a Dedekind Push Entlang Maschine, then } M = N$
Proof
Just let $N$ be the intersection of all subsets $L$ contained in $X$ and defining a restricted machine, $(f, L, n_0)$.
$\blacksquare$
For this minimal set $N$ we will use the symbol $\sigma$ for the restricted function $f$.
The function $\sigma: N \to N$ satisfies
$\tag 1 \sigma \text{ is an injection}$
$\tag 2 n_0 \in N \text{ but } n_0 \notin \sigma(N)$
$\tag 3 \text{If } K \subset N \text{ and } n_0 \in K \text{ and } \sigma(K) \subset K \text{ then } K = N$
Observe that $\text{(3)}$ is just stating that $N$ is the minimal set that can be extracted from $X$ to create a  $(\sigma, N, n_0)$ Dedekind Push Entlang Maschine. But this is also the familiar induction principle.
If we continue studying this object, we will see that we can define addition and multiplication (see Appendix I of Serge Lang's Undergraduate Algebra) on $N$ and that $\text{(1)}$, $\text{(2)}$ and $\text{(3)}$ make any two such abstract creations isomorphic.
So we have it - the natural numbers $\mathbb N$!
The bonus of this abstract approach is we don't have to describe adding together two ruler pieces (uh, if both pieces greater than $\mathsf |$, drill-out that rivet and ...).
