{
  "id": "1509.09209",
  "version": "v1",
  "published": "2015-09-30T15:09:23.000Z",
  "updated": "2015-09-30T15:09:23.000Z",
  "title": "Inconsistency of Primitive Recursive Arithmetic",
  "authors": [
    "Edward Nelson"
  ],
  "comment": "With an introduction by Sarah Jones Nelson, an afterword by Sam Buss and Terence Tao, and an appendix on qea. 47 Pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2015-09-30T15:09:23.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03F30",
      "03F03",
      "03A99"
    ],
    "keywords": [
      "primitive recursive arithmetic",
      "inconsistency",
      "construct firm foundations",
      "contemporary mathematics",
      "peano arithmetic"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 47,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}