{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematics, the **Double extension set theory (DEST)** is an axiomatic set theory proposed by Andrzej Kisielewicz consisting of two separate membership relations on the universe of sets, denoted here by $\\in$ and $\\varepsilon$, and a set of axioms relating the two. The intention behind defining the two membership relations is to avoid the usual paradoxes of set theory, without substantially weakening the axiom of unrestricted comprehension.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "M210YHVYSX"
    ],
    "kind": "concept",
    "name": "Double extension set theory",
    "same_as": {
      "wikidata": "Q108146676",
      "wikipedia": "Double extension set theory"
    },
    "sources": [
      {
        "locator": "Double extension set theory",
        "mention": "wikipedia://en/68403860",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:68403860@r1041093450"
      }
    ],
    "tag": "H3V6N71ZYD"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/H3V6N71ZYD/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/H3V6N71ZYD.md",
  "msc": null,
  "name": "Double extension set theory",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/H3V/H3V6N71ZYD.md",
  "status": null,
  "tag": "H3V6N71ZYD",
  "uri": "m2://H3V6N71ZYD",
  "url": "https://math2.tamnd.com/wiki/double-extension-set-theory/",
  "writing": {
    "tag": "H3V6N71ZYD",
    "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
      }
    ]
  }
}