{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA theory due to Bertrand Russell, and used in his *Principia Mathematica*, according to which [[sets|0BSJ7RQ9BW]] can be reduced to certain kinds of propositional function formulae. (In Russell's time, the distinction between \"class\" and \"set\" had not been developed yet, and Russell used the word \"class\" in his writings, hence the name \"no-class\" or \"no-classes\" theory is retained for this historical reason, although the theory refers to what are now called sets.)\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "HD337TFFN7"
    ],
    "kind": "concept",
    "name": "No-classes theory",
    "sources": [
      {
        "locator": "Glossary of set theory, section N",
        "mention": "wikipedia://en/43580500#S8BK",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:43580500@r1360947732"
      }
    ],
    "tag": "9Q0KH6C5X3"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/9Q0KH6C5X3/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/9Q0KH6C5X3.md",
  "msc": null,
  "name": "No-classes theory",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/9Q0/9Q0KH6C5X3.md",
  "status": null,
  "tag": "9Q0KH6C5X3",
  "uri": "m2://9Q0KH6C5X3",
  "url": "https://math2.tamnd.com/wiki/no-classes-theory/",
  "writing": {
    "tag": "9Q0KH6C5X3",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}