"Zermelo set theory" meaning in English

{
  "etymology_text": "After German mathematician Ernst Zermelo, who introduced the theory in a paper in 1908.",
  "head_templates": [
    {
      "args": {
        "1": "en",
        "2": "noun",
        "head": "Zermelo set theory"
      },
      "expansion": "Zermelo set theory",
      "name": "head"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Italian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Set theory",
          "orig": "en:Set theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "1998, Geoffrey Hellman, 8: Beyond Definitionism—But Not Too Far Beyond, Matthias Schirn (editor), 2003, Paperback, The Philosophy of Mathematics Today, Oxford University Press (Clarendon Press), page 215,\nThe system can be claimed to transcend certain critical limitations of predicative analysis and certain awkwardness of known nominalistic approaches to mathematics at once, and would seem to provide a well-motivated alternative to Zermelo set theory as a framework for scientifically applicable mathematics."
        },
        {
          "ref": "2001, José Ferreirós, Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics, Springer (Birkhäuser), page 338:",
          "text": "According to the great logician Alonzo Church, in spite of superficial differences, these two \"widely accepted symbolic systems,\" Zermelo set theory and simple type theory, are \"in their currently accepted forms essentially similar\" [1939, 69-70].",
          "type": "quote"
        },
        {
          "ref": "2006, Gerard O'Regan, Mathematical Approaches to Software Quality, Springer, page 20:",
          "text": "Z is a formal specification language founded on Zermelo set theory.",
          "type": "quote"
        }
      ],
      "glosses": [
        "An early and influential axiomatisation of set theory."
      ],
      "id": "en-Zermelo_set_theory-en-noun-RIG~Z4jh",
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "axiomatisation",
          "axiomatisation"
        ]
      ],
      "raw_glosses": [
        "(set theory) An early and influential axiomatisation of set theory."
      ],
      "related": [
        {
          "word": "ZF"
        },
        {
          "word": "ZFC"
        }
      ],
      "synonyms": [
        {
          "word": "Zermelo's set theory"
        }
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ],
      "translations": [
        {
          "code": "it",
          "lang": "Italian",
          "sense": "early axiomatisation of set theory",
          "tags": [
            "feminine"
          ],
          "word": "teoria degli insiemi di Zermelo"
        }
      ],
      "wikipedia": [
        "Ernst Zermelo",
        "Zermelo set theory"
      ]
    }
  ],
  "word": "Zermelo set theory"
}

{
  "etymology_text": "After German mathematician Ernst Zermelo, who introduced the theory in a paper in 1908.",
  "head_templates": [
    {
      "args": {
        "1": "en",
        "2": "noun",
        "head": "Zermelo set theory"
      },
      "expansion": "Zermelo set theory",
      "name": "head"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "ZF"
    },
    {
      "word": "ZFC"
    }
  ],
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with quotations",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Italian translations",
        "en:Set theory"
      ],
      "examples": [
        {
          "text": "1998, Geoffrey Hellman, 8: Beyond Definitionism—But Not Too Far Beyond, Matthias Schirn (editor), 2003, Paperback, The Philosophy of Mathematics Today, Oxford University Press (Clarendon Press), page 215,\nThe system can be claimed to transcend certain critical limitations of predicative analysis and certain awkwardness of known nominalistic approaches to mathematics at once, and would seem to provide a well-motivated alternative to Zermelo set theory as a framework for scientifically applicable mathematics."
        },
        {
          "ref": "2001, José Ferreirós, Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics, Springer (Birkhäuser), page 338:",
          "text": "According to the great logician Alonzo Church, in spite of superficial differences, these two \"widely accepted symbolic systems,\" Zermelo set theory and simple type theory, are \"in their currently accepted forms essentially similar\" [1939, 69-70].",
          "type": "quote"
        },
        {
          "ref": "2006, Gerard O'Regan, Mathematical Approaches to Software Quality, Springer, page 20:",
          "text": "Z is a formal specification language founded on Zermelo set theory.",
          "type": "quote"
        }
      ],
      "glosses": [
        "An early and influential axiomatisation of set theory."
      ],
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "axiomatisation",
          "axiomatisation"
        ]
      ],
      "raw_glosses": [
        "(set theory) An early and influential axiomatisation of set theory."
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ],
      "wikipedia": [
        "Ernst Zermelo",
        "Zermelo set theory"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "Zermelo's set theory"
    }
  ],
  "translations": [
    {
      "code": "it",
      "lang": "Italian",
      "sense": "early axiomatisation of set theory",
      "tags": [
        "feminine"
      ],
      "word": "teoria degli insiemi di Zermelo"
    }
  ],
  "word": "Zermelo set theory"
}