"proper class" meaning in All languages combined

See proper class on Wiktionary

Noun [English]

Forms: proper classes [plural]
Head templates: {{en-noun}} proper class (plural proper classes)
  1. (set theory) A class which is not a set. Wikipedia link: Class (set theory) Categories (topical): Set theory Translations (class which is not a set): classe propria [feminine] (Italian)

Inflected forms

{
  "forms": [
    {
      "form": "proper classes",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "proper class (plural proper classes)",
      "name": "en-noun"
    }
  ],
  "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": [
        {
          "ref": "1994, Shaughan Lavine, Understanding the Infinite, Harvard University Press, page 322:",
          "text": "Thus, what is required is not that all proper classes be the size of the class of all sets, but that every proper class has at least as many members in #92;Omega#95;p as there are sets in #92;Omega#95;2, whatever is in #92;Omega#95;2.",
          "type": "quote"
        },
        {
          "text": "2004, Hartry Field, The Consistency of the Naive Theory of Properties, Godehard Link, One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy, Walter de Gruyter, page 308,\nIt is true that the absence of proper classes in ZF is sometimes awkward. It is also true that adding proper classes in the usual ways (either predicative classes as in Gödel—Bernays, or impredicative ones as in Morse-Kelley is conceptually unsettling: in each case (and especially in the more convenient Morse-Kelley case) they \"look too much like just another level of sets\", and the fact that there is no entity that captures the extension of predicates true of proper classes suggests the introduction of still further entities (\"super-classes\" that can have proper classes as members), and so on ad infinitum."
        },
        {
          "ref": "2009, Eric Steinhart, More Precisely: The Math You Need to Do Philosophy, Broadview Press, page 63:",
          "text": "Any class is either a set or else a proper class. Every set is a class, but not all classes are sets. Specifically, the proper classes are not sets.",
          "type": "quote"
        }
      ],
      "glosses": [
        "A class which is not a set."
      ],
      "id": "en-proper_class-en-noun-DtqttQIm",
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "class",
          "class"
        ],
        [
          "set",
          "set"
        ]
      ],
      "raw_glosses": [
        "(set theory) A class which is not a set."
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ],
      "translations": [
        {
          "code": "it",
          "lang": "Italian",
          "sense": "class which is not a set",
          "tags": [
            "feminine"
          ],
          "word": "classe propria"
        }
      ],
      "wikipedia": [
        "Class (set theory)"
      ]
    }
  ],
  "word": "proper class"
}
{
  "forms": [
    {
      "form": "proper classes",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "proper class (plural proper classes)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "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": [
        {
          "ref": "1994, Shaughan Lavine, Understanding the Infinite, Harvard University Press, page 322:",
          "text": "Thus, what is required is not that all proper classes be the size of the class of all sets, but that every proper class has at least as many members in #92;Omega#95;p as there are sets in #92;Omega#95;2, whatever is in #92;Omega#95;2.",
          "type": "quote"
        },
        {
          "text": "2004, Hartry Field, The Consistency of the Naive Theory of Properties, Godehard Link, One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy, Walter de Gruyter, page 308,\nIt is true that the absence of proper classes in ZF is sometimes awkward. It is also true that adding proper classes in the usual ways (either predicative classes as in Gödel—Bernays, or impredicative ones as in Morse-Kelley is conceptually unsettling: in each case (and especially in the more convenient Morse-Kelley case) they \"look too much like just another level of sets\", and the fact that there is no entity that captures the extension of predicates true of proper classes suggests the introduction of still further entities (\"super-classes\" that can have proper classes as members), and so on ad infinitum."
        },
        {
          "ref": "2009, Eric Steinhart, More Precisely: The Math You Need to Do Philosophy, Broadview Press, page 63:",
          "text": "Any class is either a set or else a proper class. Every set is a class, but not all classes are sets. Specifically, the proper classes are not sets.",
          "type": "quote"
        }
      ],
      "glosses": [
        "A class which is not a set."
      ],
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "class",
          "class"
        ],
        [
          "set",
          "set"
        ]
      ],
      "raw_glosses": [
        "(set theory) A class which is not a set."
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ],
      "wikipedia": [
        "Class (set theory)"
      ]
    }
  ],
  "translations": [
    {
      "code": "it",
      "lang": "Italian",
      "sense": "class which is not a set",
      "tags": [
        "feminine"
      ],
      "word": "classe propria"
    }
  ],
  "word": "proper class"
}

Download raw JSONL data for proper class meaning in All languages combined (2.4kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-02-22 from the enwiktionary dump dated 2025-02-02 using wiktextract (9e2b7d3 and f2e72e5). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.