{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nIn 1889, Giuseppe Peano presented his *The principles of arithmetic, presented by a new method*, based on the work of Dedekind. Soare proposes that the origination of \"primitive recursion\" began formally with the axioms of Peano, although\n\n\"Well before the nineteenth century mathematicians used the principle of defining a function by induction. Dedekind 1888 proved, using accepted axioms, that such a definition defines a unique function, and he applied it to the definition of the functions m+n, m x n, and m\u003csup\u003en\u003c/sup\u003e. Based on this work of Dedekind, Peano 1889 and 1891 wrote the familiar five \\[sic\\] axioms for the positive integers. As a companion to his fifth \\[sic\\] axiom, mathematical induction, Peano used definition by induction, which has been called *primitive* recursion (since Péter 1934 and Kleene 1936) ... .\"\n\nObserve that *in fact* [[Peano's axioms|0QFT7Z76N5]] are *9* in number and axiom *9* is the recursion/induction axiom.\n\n\"Subsequently the 9 were reduced to 5 as \"Axioms 2, 3, 4 and 5 which deal with identity, belong to the underlying logic. This leaves the five axioms that have become universally known as \"the Peano axioms ... Peano acknowledges (1891b, p. 93) that his axioms come from Dedekind ... .\"\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "TRKD5C6CEN"
    ],
    "kind": "statement",
    "name": "Peano's nine axioms of arithmetic",
    "role": "proposition",
    "sources": [
      {
        "locator": "History of the Church–Turing thesis, section Peano's nine axioms of arithmetic",
        "mention": "wikipedia://en/13050911#W1WV",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:13050911@r1374818447"
      }
    ],
    "tag": "BJR3HJNRGB"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/BJR3HJNRGB/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/BJR3HJNRGB.md",
  "msc": null,
  "name": "Peano's nine axioms of arithmetic",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BJR/BJR3HJNRGB.md",
  "status": null,
  "tag": "BJR3HJNRGB",
  "uri": "m2://BJR3HJNRGB",
  "url": "https://math2.tamnd.com/wiki/peanos-nine-axioms-of-arithmetic/",
  "writing": {
    "tag": "BJR3HJNRGB",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}