{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nThe **numerosity** of an [[infinite set|01MKW4R283]], as initially introduced by the Italian mathematician Vieri Benci and later on extended with the help of Mauro Di Nasso and Marco Forti, is a concept that develops Cantor’s notion of [[cardinality|0G0ASKNA6Z]]. While Cantor’s classical cardinality classifies sets based on the existence of a one-to-one correspondence with other sets (defining, for example, $\\aleph_0$ for countable sets, $\\aleph_1$ and so on for larger infinities), the idea of numerosity aims to provide an alternative viewpoint, linking to the common Euclidean notion that \"the whole is greater than the part\". All of this naturally leads to the hypernatural numbers.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "DCKRDV0H4D"
    ],
    "kind": "concept",
    "name": "Numerosity (mathematics)",
    "same_as": {
      "wikidata": "Q134778142",
      "wikipedia": "Numerosity (mathematics)"
    },
    "sources": [
      {
        "locator": "Numerosity (mathematics)",
        "mention": "wikipedia://en/78916915",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:78916915@r1362106254"
      }
    ],
    "tag": "7F87WBZDA8"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/7F87WBZDA8/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/7F87WBZDA8.md",
  "msc": null,
  "name": "Numerosity (mathematics)",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/7F8/7F87WBZDA8.md",
  "status": null,
  "tag": "7F87WBZDA8",
  "uri": "m2://7F87WBZDA8",
  "url": "https://math2.tamnd.com/wiki/numerosity-mathematics/",
  "writing": {
    "tag": "7F87WBZDA8",
    "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
      }
    ]
  }
}