{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nIn 1929, Paul Bernays started modifying von Neumann's new axiom system by taking classes and sets as primitives. He published his work in a series of articles appearing from 1937 to 1954. Bernays stated that: The purpose of modifying the von Neumann system is to remain nearer to the structure of the original Zermelo system and to utilize at the same time some of the set-theoretic concepts of the Schröder logic and of *Principia Mathematica* which have become familiar to logicians. As will be seen, a considerable simplification results from this arrangement. Bernays handled sets and classes in a two-sorted logic and introduced two membership primitives: one for membership in sets and one for membership in classes. With these primitives, he rewrote and simplified von Neumann's 1929 axioms. Bernays also included the axiom of regularity in his axiom system.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "40BGC2NT83"
    ],
    "kind": "statement",
    "name": "Bernays' axiom system",
    "role": "proposition",
    "sources": [
      {
        "locator": "Von Neumann–Bernays–Gödel set theory, section History \u003e Bernays' axiom system",
        "mention": "wikipedia://en/528491#5IPW",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:528491@r1330985339"
      }
    ],
    "tag": "QH884Y0KHC"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/QH884Y0KHC/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/QH884Y0KHC.md",
  "msc": null,
  "name": "Bernays' axiom system",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QH8/QH884Y0KHC.md",
  "status": null,
  "tag": "QH884Y0KHC",
  "uri": "m2://QH884Y0KHC",
  "url": "https://math2.tamnd.com/wiki/bernays-axiom-system/",
  "writing": {
    "tag": "QH884Y0KHC",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}