{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nThe concept that certain collections (such as the set of all sets) cannot be comprehensively listed because any attempt to enumerate them leads to the possibility of generating new members.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "YZ3FKWM81S"
    ],
    "kind": "concept",
    "name": "Indefinite extensibility",
    "sources": [
      {
        "locator": "Glossary of logic, section I",
        "mention": "wikipedia://en/76765067#MKMU",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "E6C6P2FW2K"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/E6C6P2FW2K/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/E6C6P2FW2K.md",
  "msc": null,
  "name": "Indefinite extensibility",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/E6C/E6C6P2FW2K.md",
  "status": null,
  "tag": "E6C6P2FW2K",
  "uri": "m2://E6C6P2FW2K",
  "url": "https://math2.tamnd.com/wiki/indefinite-extensibility/",
  "writing": {
    "tag": "E6C6P2FW2K",
    "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
      }
    ]
  }
}