See set theory in All languages combined, or Wiktionary
{ "forms": [ { "form": "set theories", "tags": [ "plural" ] } ], "head_templates": [ { "args": { "1": "-", "2": "+" }, "expansion": "set theory (usually uncountable, plural set theories)", "name": "en-noun" } ], "lang": "English", "lang_code": "en", "pos": "noun", "senses": [ { "categories": [ { "kind": "topical", "langcode": "en", "name": "Mathematics", "orig": "en:Mathematics", "parents": [ "Formal sciences", "Sciences", "All topics", "Fundamental" ], "source": "w" }, { "_dis": "60 40", "kind": "topical", "langcode": "en", "name": "Set theory", "orig": "en:Set theory", "parents": [ "Mathematics", "Formal sciences", "Sciences", "All topics", "Fundamental" ], "source": "w+disamb" } ], "examples": [ { "ref": "1972, Peter W. Zehna, Robert Leo Johnson, Elements of Set Theory, Allyn & Bacon, page 4:", "text": "We mentioned previously that certain paradoxes in set theory arose shortly after Cantor's works were published.", "type": "quote" }, { "ref": "1984, Robert Goldblatt, Topoi, the categorial analysis of logic, page 9:", "text": "The above argument, known as Russell's Paradox, was discovered by Bertrand Russell in 1901. Set theory itself began a few decades earlier with the work of George Cantor.", "type": "quote" }, { "ref": "1994, Yiannis N. Moschovakis, Notes on Set Theory, Springer, page 239:", "text": "The serious study of models of axiomatic set theories depends heavily on methods from mathematical logic which are outside the scope of these Notes.", "type": "quote" }, { "ref": "2012, M. Randall Holmes, Thomas Forster, Thierry Libert, “Alternative Set Theories”, in Dov M. Gabbay, Akihiro Kanimori, John Woods, editors, Sets and Extensions in the Twentieth Century, North-Holland: Elsevier, page 559:", "text": "The one thing that all alternative set theories have in common is the fact that they are alternatives to ZF or ZFC.", "type": "quote" } ], "glosses": [ "The mathematical theory of sets." ], "id": "en-set_theory-en-noun-pGerfGKe", "links": [ [ "mathematics", "mathematics" ], [ "set", "set" ] ], "raw_glosses": [ "(mathematics) The mathematical theory of sets." ], "tags": [ "uncountable", "usually" ], "topics": [ "mathematics", "sciences" ], "translations": [ { "_dis1": "94 6", "code": "hy", "lang": "Armenian", "roman": "bazmutʻyunneri tesutʻyun", "sense": "mathematical theory of sets", "word": "բազմությունների տեսություն" }, { "_dis1": "94 6", "code": "cmn", "lang": "Chinese Mandarin", "sense": "mathematical theory of sets", "word": "集合論" }, { "_dis1": "94 6", "code": "cmn", "lang": "Chinese Mandarin", "roman": "jíhélùn", "sense": "mathematical theory of sets", "word": "集合论" }, { "_dis1": "94 6", "code": "cs", "lang": "Czech", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teorie množin" }, { "_dis1": "94 6", "code": "da", "lang": "Danish", "sense": "mathematical theory of sets", "word": "mængdelære" }, { "_dis1": "94 6", "code": "nl", "lang": "Dutch", "sense": "mathematical theory of sets", "tags": [ "feminine", "masculine" ], "word": "verzamelingenleer" }, { "_dis1": "94 6", "code": "fi", "lang": "Finnish", "sense": "mathematical theory of sets", "word": "joukko-oppi" }, { "_dis1": "94 6", "code": "fr", "lang": "French", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "théorie des ensembles" }, { "_dis1": "94 6", "code": "de", "lang": "German", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "Mengenlehre" }, { "_dis1": "94 6", "code": "de", "lang": "German", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "Mengentheorie" }, { "_dis1": "94 6", "code": "el", "lang": "Greek", "roman": "theoría ton synólon", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "θεωρία των συνόλων" }, { "_dis1": "94 6", "code": "he", "lang": "Hebrew", "sense": "mathematical theory of sets", "word": "תורת הקבוצות" }, { "_dis1": "94 6", "code": "hu", "lang": "Hungarian", "sense": "mathematical theory of sets", "word": "halmazelmélet" }, { "_dis1": "94 6", "code": "is", "lang": "Icelandic", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "mengjafræði" }, { "_dis1": "94 6", "code": "io", "lang": "Ido", "sense": "mathematical theory of sets", "word": "ensemblo-teorio" }, { "_dis1": "94 6", "code": "id", "lang": "Indonesian", "sense": "mathematical theory of sets", "word": "teori himpunan" }, { "_dis1": "94 6", "code": "ga", "lang": "Irish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoiric na dtacar" }, { "_dis1": "94 6", "code": "ga", "lang": "Irish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "tacartheoiric" }, { "_dis1": "94 6", "code": "it", "lang": "Italian", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoria degli insiemi" }, { "_dis1": "94 6", "code": "it", "lang": "Italian", "sense": "mathematical theory of sets", "word": "insiemistica" }, { "_dis1": "94 6", "code": "ja", "lang": "Japanese", "roman": "shūgōron", "sense": "mathematical theory of sets", "word": "集合論" }, { "_dis1": "94 6", "code": "ko", "lang": "Korean", "roman": "jiphamnon", "sense": "mathematical theory of sets", "word": "집합론" }, { "_dis1": "94 6", "code": "la", "lang": "Latin", "sense": "mathematical theory of sets", "word": "ratio coniunctorum" }, { "_dis1": "94 6", "code": "ms", "lang": "Malay", "sense": "mathematical theory of sets", "word": "teori set" }, { "_dis1": "94 6", "code": "no", "lang": "Norwegian", "sense": "mathematical theory of sets", "word": "mengdelære" }, { "_dis1": "94 6", "code": "pl", "lang": "Polish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoria mnogości" }, { "_dis1": "94 6", "code": "pt", "lang": "Portuguese", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoria de conjuntos" }, { "_dis1": "94 6", "code": "pt", "lang": "Portuguese", "sense": "mathematical theory of sets", "word": "teoria dos conjuntos f." }, { "_dis1": "94 6", "code": "ru", "lang": "Russian", "roman": "teórija mnóžestv", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "тео́рия мно́жеств" }, { "_dis1": "94 6", "code": "sh", "lang": "Serbo-Croatian", "sense": "mathematical theory of sets", "tags": [ "Cyrillic", "feminine" ], "word": "теорија скупова" }, { "_dis1": "94 6", "code": "sh", "lang": "Serbo-Croatian", "sense": "mathematical theory of sets", "tags": [ "Roman", "feminine" ], "word": "teorija skupova" }, { "_dis1": "94 6", "code": "es", "lang": "Spanish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoría de conjuntos" }, { "_dis1": "94 6", "code": "sv", "lang": "Swedish", "sense": "mathematical theory of sets", "tags": [ "common-gender" ], "word": "mängdlära" }, { "_dis1": "94 6", "code": "tl", "lang": "Tagalog", "sense": "mathematical theory of sets", "word": "palatangkasan" }, { "_dis1": "94 6", "code": "th", "lang": "Thai", "roman": "trít-sà-dee sét", "sense": "mathematical theory of sets", "word": "ทฤษฎีเซต" } ] }, { "categories": [ { "kind": "topical", "langcode": "en", "name": "Music", "orig": "en:Music", "parents": [ "Art", "Sound", "Culture", "Energy", "Society", "Nature", "All topics", "Fundamental" ], "source": "w" }, { "_dis": "26 74", "kind": "other", "name": "English entries with incorrect language header", "parents": [ "Entries with incorrect language header", "Entry maintenance" ], "source": "w+disamb" }, { "_dis": "20 80", "kind": "other", "name": "Entries with translation boxes", "parents": [], "source": "w+disamb" }, { "_dis": "24 76", "kind": "other", "name": "Pages with 1 entry", "parents": [], "source": "w+disamb" }, { "_dis": "13 87", "kind": "other", "name": "Pages with entries", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Armenian translations", "parents": [], "source": "w+disamb" }, { "_dis": "27 73", "kind": "other", "name": "Terms with Czech translations", "parents": [], "source": "w+disamb" }, { "_dis": "12 88", "kind": "other", "name": "Terms with Danish translations", "parents": [], "source": "w+disamb" }, { "_dis": "23 77", "kind": "other", "name": "Terms with Dutch translations", "parents": [], "source": "w+disamb" }, { "_dis": "20 80", "kind": "other", "name": "Terms with Finnish translations", "parents": [], "source": "w+disamb" }, { "_dis": "19 81", "kind": "other", "name": "Terms with French translations", "parents": [], "source": "w+disamb" }, { "_dis": "20 80", "kind": "other", "name": "Terms with German translations", "parents": [], "source": "w+disamb" }, { "_dis": "29 71", "kind": "other", "name": "Terms with Greek translations", "parents": [], "source": "w+disamb" }, { "_dis": "19 81", "kind": "other", "name": "Terms with Hebrew translations", "parents": [], "source": "w+disamb" }, { "_dis": "29 71", "kind": "other", "name": "Terms with Hungarian translations", "parents": [], "source": "w+disamb" }, { "_dis": "20 80", "kind": "other", "name": "Terms with Icelandic translations", "parents": [], "source": "w+disamb" }, { "_dis": "16 84", "kind": "other", "name": "Terms with Ido translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Indonesian translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Irish translations", "parents": [], "source": "w+disamb" }, { "_dis": "17 83", "kind": "other", "name": "Terms with Italian translations", "parents": [], "source": "w+disamb" }, { "_dis": "18 82", "kind": "other", "name": "Terms with Japanese translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Korean translations", "parents": [], "source": "w+disamb" }, { "_dis": "18 82", "kind": "other", "name": "Terms with Latin translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Malay translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Mandarin translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Norwegian translations", "parents": [], "source": "w+disamb" }, { "_dis": "23 77", "kind": "other", "name": "Terms with Polish translations", "parents": [], "source": "w+disamb" }, { "_dis": "18 82", "kind": "other", "name": "Terms with Portuguese translations", "parents": [], "source": "w+disamb" }, { "_dis": "18 82", "kind": "other", "name": "Terms with Russian translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Serbo-Croatian translations", "parents": [], "source": "w+disamb" }, { "_dis": "15 85", "kind": "other", "name": "Terms with Spanish translations", "parents": [], "source": "w+disamb" }, { "_dis": "19 81", "kind": "other", "name": "Terms with Swedish translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Tagalog translations", "parents": [], "source": "w+disamb" }, { "_dis": "21 79", "kind": "other", "name": "Terms with Thai translations", "parents": [], "source": "w+disamb" } ], "derived": [ { "_dis1": "43 57", "word": "set-theoretic" }, { "_dis1": "43 57", "word": "set-theoretical" }, { "_dis1": "43 57", "word": "set-theoretically" }, { "_dis1": "43 57", "word": "naive set theory" }, { "_dis1": "43 57", "word": "Zermelo set theory" }, { "_dis1": "43 57", "word": "Zermelo-Fraenkel set theory" } ], "glosses": [ "Musical set theory, a systematic approach to describing musical objects and their relationships." ], "id": "en-set_theory-en-noun-leyV383h", "links": [ [ "music", "music" ], [ "Musical set theory", "musical set theory" ] ], "raw_glosses": [ "(music) Musical set theory, a systematic approach to describing musical objects and their relationships." ], "synonyms": [ { "_dis1": "43 57", "tags": [ "informal" ], "word": "sets" } ], "tags": [ "uncountable", "usually" ], "topics": [ "entertainment", "lifestyle", "music" ] } ], "sounds": [ { "audio": "LL-Q1860 (eng)-Vealhurl-set theory.wav", "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4f/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav.mp3", "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4f/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav.ogg" } ], "wikipedia": [ "Musical set theory", "set theory" ], "word": "set theory" }
{ "categories": [ "English countable nouns", "English entries with incorrect language header", "English lemmas", "English multiword terms", "English nouns", "English uncountable nouns", "Entries with translation boxes", "Pages with 1 entry", "Pages with entries", "Terms with Armenian translations", "Terms with Czech translations", "Terms with Danish translations", "Terms with Dutch translations", "Terms with Finnish translations", "Terms with French translations", "Terms with German translations", "Terms with Greek translations", "Terms with Hebrew translations", "Terms with Hungarian translations", "Terms with Icelandic translations", "Terms with Ido translations", "Terms with Indonesian translations", "Terms with Irish translations", "Terms with Italian translations", "Terms with Japanese translations", "Terms with Korean translations", "Terms with Latin translations", "Terms with Malay translations", "Terms with Mandarin translations", "Terms with Norwegian translations", "Terms with Polish translations", "Terms with Portuguese translations", "Terms with Russian translations", "Terms with Serbo-Croatian translations", "Terms with Spanish translations", "Terms with Swedish translations", "Terms with Tagalog translations", "Terms with Thai translations", "en:Set theory" ], "derived": [ { "word": "set-theoretic" }, { "word": "set-theoretical" }, { "word": "set-theoretically" }, { "word": "naive set theory" }, { "word": "Zermelo set theory" }, { "word": "Zermelo-Fraenkel set theory" } ], "forms": [ { "form": "set theories", "tags": [ "plural" ] } ], "head_templates": [ { "args": { "1": "-", "2": "+" }, "expansion": "set theory (usually uncountable, plural set theories)", "name": "en-noun" } ], "lang": "English", "lang_code": "en", "pos": "noun", "senses": [ { "categories": [ "English terms with quotations", "Quotation templates to be cleaned", "en:Mathematics" ], "examples": [ { "ref": "1972, Peter W. Zehna, Robert Leo Johnson, Elements of Set Theory, Allyn & Bacon, page 4:", "text": "We mentioned previously that certain paradoxes in set theory arose shortly after Cantor's works were published.", "type": "quote" }, { "ref": "1984, Robert Goldblatt, Topoi, the categorial analysis of logic, page 9:", "text": "The above argument, known as Russell's Paradox, was discovered by Bertrand Russell in 1901. Set theory itself began a few decades earlier with the work of George Cantor.", "type": "quote" }, { "ref": "1994, Yiannis N. Moschovakis, Notes on Set Theory, Springer, page 239:", "text": "The serious study of models of axiomatic set theories depends heavily on methods from mathematical logic which are outside the scope of these Notes.", "type": "quote" }, { "ref": "2012, M. Randall Holmes, Thomas Forster, Thierry Libert, “Alternative Set Theories”, in Dov M. Gabbay, Akihiro Kanimori, John Woods, editors, Sets and Extensions in the Twentieth Century, North-Holland: Elsevier, page 559:", "text": "The one thing that all alternative set theories have in common is the fact that they are alternatives to ZF or ZFC.", "type": "quote" } ], "glosses": [ "The mathematical theory of sets." ], "links": [ [ "mathematics", "mathematics" ], [ "set", "set" ] ], "raw_glosses": [ "(mathematics) The mathematical theory of sets." ], "tags": [ "uncountable", "usually" ], "topics": [ "mathematics", "sciences" ] }, { "categories": [ "en:Music" ], "glosses": [ "Musical set theory, a systematic approach to describing musical objects and their relationships." ], "links": [ [ "music", "music" ], [ "Musical set theory", "musical set theory" ] ], "raw_glosses": [ "(music) Musical set theory, a systematic approach to describing musical objects and their relationships." ], "tags": [ "uncountable", "usually" ], "topics": [ "entertainment", "lifestyle", "music" ] } ], "sounds": [ { "audio": "LL-Q1860 (eng)-Vealhurl-set theory.wav", "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4f/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav.mp3", "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4f/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav/LL-Q1860_%28eng%29-Vealhurl-set_theory.wav.ogg" } ], "synonyms": [ { "tags": [ "informal" ], "word": "sets" } ], "translations": [ { "code": "hy", "lang": "Armenian", "roman": "bazmutʻyunneri tesutʻyun", "sense": "mathematical theory of sets", "word": "բազմությունների տեսություն" }, { "code": "cmn", "lang": "Chinese Mandarin", "sense": "mathematical theory of sets", "word": "集合論" }, { "code": "cmn", "lang": "Chinese Mandarin", "roman": "jíhélùn", "sense": "mathematical theory of sets", "word": "集合论" }, { "code": "cs", "lang": "Czech", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teorie množin" }, { "code": "da", "lang": "Danish", "sense": "mathematical theory of sets", "word": "mængdelære" }, { "code": "nl", "lang": "Dutch", "sense": "mathematical theory of sets", "tags": [ "feminine", "masculine" ], "word": "verzamelingenleer" }, { "code": "fi", "lang": "Finnish", "sense": "mathematical theory of sets", "word": "joukko-oppi" }, { "code": "fr", "lang": "French", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "théorie des ensembles" }, { "code": "de", "lang": "German", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "Mengenlehre" }, { "code": "de", "lang": "German", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "Mengentheorie" }, { "code": "el", "lang": "Greek", "roman": "theoría ton synólon", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "θεωρία των συνόλων" }, { "code": "he", "lang": "Hebrew", "sense": "mathematical theory of sets", "word": "תורת הקבוצות" }, { "code": "hu", "lang": "Hungarian", "sense": "mathematical theory of sets", "word": "halmazelmélet" }, { "code": "is", "lang": "Icelandic", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "mengjafræði" }, { "code": "io", "lang": "Ido", "sense": "mathematical theory of sets", "word": "ensemblo-teorio" }, { "code": "id", "lang": "Indonesian", "sense": "mathematical theory of sets", "word": "teori himpunan" }, { "code": "ga", "lang": "Irish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoiric na dtacar" }, { "code": "ga", "lang": "Irish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "tacartheoiric" }, { "code": "it", "lang": "Italian", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoria degli insiemi" }, { "code": "it", "lang": "Italian", "sense": "mathematical theory of sets", "word": "insiemistica" }, { "code": "ja", "lang": "Japanese", "roman": "shūgōron", "sense": "mathematical theory of sets", "word": "集合論" }, { "code": "ko", "lang": "Korean", "roman": "jiphamnon", "sense": "mathematical theory of sets", "word": "집합론" }, { "code": "la", "lang": "Latin", "sense": "mathematical theory of sets", "word": "ratio coniunctorum" }, { "code": "ms", "lang": "Malay", "sense": "mathematical theory of sets", "word": "teori set" }, { "code": "no", "lang": "Norwegian", "sense": "mathematical theory of sets", "word": "mengdelære" }, { "code": "pl", "lang": "Polish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoria mnogości" }, { "code": "pt", "lang": "Portuguese", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoria de conjuntos" }, { "code": "pt", "lang": "Portuguese", "sense": "mathematical theory of sets", "word": "teoria dos conjuntos f." }, { "code": "ru", "lang": "Russian", "roman": "teórija mnóžestv", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "тео́рия мно́жеств" }, { "code": "sh", "lang": "Serbo-Croatian", "sense": "mathematical theory of sets", "tags": [ "Cyrillic", "feminine" ], "word": "теорија скупова" }, { "code": "sh", "lang": "Serbo-Croatian", "sense": "mathematical theory of sets", "tags": [ "Roman", "feminine" ], "word": "teorija skupova" }, { "code": "es", "lang": "Spanish", "sense": "mathematical theory of sets", "tags": [ "feminine" ], "word": "teoría de conjuntos" }, { "code": "sv", "lang": "Swedish", "sense": "mathematical theory of sets", "tags": [ "common-gender" ], "word": "mängdlära" }, { "code": "tl", "lang": "Tagalog", "sense": "mathematical theory of sets", "word": "palatangkasan" }, { "code": "th", "lang": "Thai", "roman": "trít-sà-dee sét", "sense": "mathematical theory of sets", "word": "ทฤษฎีเซต" } ], "wikipedia": [ "Musical set theory", "set theory" ], "word": "set theory" }
Download raw JSONL data for set theory meaning in English (8.4kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-12-15 from the enwiktionary dump dated 2024-12-04 using wiktextract (8a39820 and 4401a4c). 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.