"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": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "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": "quotation"
        },
        {
          "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": "quotation"
        }
      ],
      "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 entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "English terms with quotations",
        "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": "quotation"
        },
        {
          "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": "quotation"
        }
      ],
      "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"
}