{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nThe axioms and definitions in this section are, but for a few inessential details, taken from the Appendix to Kelley (1955). The explanatory remarks below are not his. The Appendix states 181 theorems and definitions, and warrants careful reading as an abbreviated exposition of axiomatic set theory by a working mathematician of the first rank. Kelley introduced his axioms gradually, as needed to develop the topics listed after each instance of *Develop* below.\n\nNotations appearing below and now well-known are not defined. Peculiarities of Kelley's notation include:\n\n- He did *not* distinguish variables ranging over classes from those ranging over sets;\n- *domain f* and *range f* denote the domain and range of the function *f*; this peculiarity has been carefully respected below;\n- His primitive logical language includes class abstracts of the form $\\ \\{x : A(x)\\},$ \"the class of all sets *x* satisfying *A*(*x*).\"\n\nIf the scope of all quantified variables in the above axioms is restricted to sets, all axioms except **III** and the schema **IV** are ZFC axioms. **IV** is provable in ZFC. Hence the Kelley treatment of **MK** makes very clear that all that distinguishes **MK** from ZFC are variables ranging over proper classes as well as sets, and the Classification schema.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "HVXPBMXT2E"
    ],
    "kind": "statement",
    "name": "The axioms in Kelley's General Topology",
    "role": "proposition",
    "sources": [
      {
        "locator": "Morse–Kelley set theory, section The axioms in Kelley's General Topology",
        "mention": "wikipedia://en/2693655#7PI1",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:2693655@r1350303977"
      }
    ],
    "tag": "T4B3WTQ6TH"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/T4B3WTQ6TH/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/T4B3WTQ6TH.md",
  "msc": null,
  "name": "The axioms in Kelley's General Topology",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/T4B/T4B3WTQ6TH.md",
  "status": null,
  "tag": "T4B3WTQ6TH",
  "uri": "m2://T4B3WTQ6TH",
  "url": "https://math2.tamnd.com/wiki/the-axioms-in-kelleys-general-topology/",
  "writing": {
    "tag": "T4B3WTQ6TH",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}