Peano Axioms - Models

Models

A model of the Peano axioms is a triple (N, 0, S), where N is an infinite set, 0 ∈ N and S : NN satisfies the axioms above. Dedekind proved in his 1888 book, What are numbers and what should they be (German: Was sind und was sollen die Zahlen) that any two models of the Peano axioms (including the second-order induction axiom) are isomorphic. In particular, given two models (NA, 0A, SA) and (NB, 0B, SB) of the Peano axioms, there is a unique homomorphism f : NANB satisfying

\begin{align}
f(0_A) &= 0_B \\
f(S_A (n)) &= S_B (f (n))
\end{align}

and it is a bijection. The second-order Peano axioms are thus categorical; this is not the case with any first-order reformulation of the Peano axioms, however.

Read more about this topic:  Peano Axioms

Famous quotes containing the word models:

    Friends broaden our horizons. They serve as new models with whom we can identify. They allow us to be ourselves—and accept us that way. They enhance our self-esteem because they think we’re okay, because we matter to them. And because they matter to us—for various reasons, at various levels of intensity—they enrich the quality of our emotional life.
    Judith Viorst (20th century)

    The greatest and truest models for all orators ... is Demosthenes. One who has not studied deeply and constantly all the great speeches of the great Athenian, is not prepared to speak in public. Only as the constant companion of Demosthenes, Burke, Fox, Canning and Webster, can we hope to become orators.
    Woodrow Wilson (1856–1924)

    ... your problem is your role models were models.
    Jane Wagner (b. 1935)