See axiom of power set in All languages combined, or Wiktionary
{
"head_templates": [
{
"args": {
"head": "axiom of power set"
},
"expansion": "axiom of power set",
"name": "en-proper noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "name",
"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 Finnish translations",
"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": "1978, Thomas Jech, Set Theory, Academic Press, page 38:",
"text": "The axiom of choice differs from other axioms of ZF by stating existence of a set (i.e., a choice function) without defining it (unlike, for instance, the axiom of pairing or the axiom of power set).",
"type": "quote"
},
{
"ref": "2003, Thomas Forster, Reasoning About Theoretical Entities, World Scientific, page 51:",
"text": "Verifying that the axiom of power set is in #x5C;#x7B;#x5C;phi#x5C;in#x5C;mathcal#x7B;L#x7D;#x2A;#x3A;S#x5C;vdash#x5C;mathcal#x7B;I#x7D;(#x5C;phi)#x5C;#x7D; relies on some rudimentary comprehension axioms.",
"type": "quote"
},
{
"ref": "2011, Adam Rieger, “9: Paradox, ZF, and the Axiom of Foundation”, in David DeVidi, Michael Hallett, Peter Clark, editors, Logic, Mathematics, Philosophy: Vintage Enthusiasms: Essays in Honour of John L. Bell, Springer, page 183:",
"text": "But the ZF axioms of which the hierarchy is an intuitive model involve impredicative quantifications. Most striking is the axiom of power set in tandem with the axiom of separation.",
"type": "quote"
},
{
"text": "2012, A. H. Lightstone, H. B. Enderton (editor), Mathematical Logic: An Introduction to Model Theory, Plenum Press, Softcover, page 292,\nThe Axiom of Power Set asserts that the collection of all subsets of a set is a set. […] Adding the Axiom of Power Set compels the collection empty to be a set."
}
],
"glosses": [
"The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC."
],
"id": "en-axiom_of_power_set-en-name-QTgJjknR",
"links": [
[
"set theory",
"set theory"
],
[
"axiom",
"axiom"
],
[
"power set",
"power set"
],
[
"set",
"set"
],
[
"axiomatisation",
"axiomatisation"
],
[
"ZFC",
"ZFC"
]
],
"raw_glosses": [
"(set theory) The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC."
],
"synonyms": [
{
"sense": "axiom of set theory",
"word": "power set axiom"
}
],
"topics": [
"mathematics",
"sciences",
"set-theory"
],
"translations": [
{
"code": "fi",
"lang": "Finnish",
"sense": "axiom of set theory",
"word": "potenssijoukkoaksiooma"
},
{
"code": "it",
"lang": "Italian",
"sense": "axiom of set theory",
"tags": [
"masculine"
],
"word": "assioma dell'insieme potenza"
}
],
"wikipedia": [
"axiom of power set"
]
}
],
"word": "axiom of power set"
}
{
"head_templates": [
{
"args": {
"head": "axiom of power set"
},
"expansion": "axiom of power set",
"name": "en-proper noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "name",
"senses": [
{
"categories": [
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English proper nouns",
"English terms with quotations",
"English uncountable nouns",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Finnish translations",
"Terms with Italian translations",
"en:Set theory"
],
"examples": [
{
"ref": "1978, Thomas Jech, Set Theory, Academic Press, page 38:",
"text": "The axiom of choice differs from other axioms of ZF by stating existence of a set (i.e., a choice function) without defining it (unlike, for instance, the axiom of pairing or the axiom of power set).",
"type": "quote"
},
{
"ref": "2003, Thomas Forster, Reasoning About Theoretical Entities, World Scientific, page 51:",
"text": "Verifying that the axiom of power set is in #x5C;#x7B;#x5C;phi#x5C;in#x5C;mathcal#x7B;L#x7D;#x2A;#x3A;S#x5C;vdash#x5C;mathcal#x7B;I#x7D;(#x5C;phi)#x5C;#x7D; relies on some rudimentary comprehension axioms.",
"type": "quote"
},
{
"ref": "2011, Adam Rieger, “9: Paradox, ZF, and the Axiom of Foundation”, in David DeVidi, Michael Hallett, Peter Clark, editors, Logic, Mathematics, Philosophy: Vintage Enthusiasms: Essays in Honour of John L. Bell, Springer, page 183:",
"text": "But the ZF axioms of which the hierarchy is an intuitive model involve impredicative quantifications. Most striking is the axiom of power set in tandem with the axiom of separation.",
"type": "quote"
},
{
"text": "2012, A. H. Lightstone, H. B. Enderton (editor), Mathematical Logic: An Introduction to Model Theory, Plenum Press, Softcover, page 292,\nThe Axiom of Power Set asserts that the collection of all subsets of a set is a set. […] Adding the Axiom of Power Set compels the collection empty to be a set."
}
],
"glosses": [
"The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC."
],
"links": [
[
"set theory",
"set theory"
],
[
"axiom",
"axiom"
],
[
"power set",
"power set"
],
[
"set",
"set"
],
[
"axiomatisation",
"axiomatisation"
],
[
"ZFC",
"ZFC"
]
],
"raw_glosses": [
"(set theory) The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC."
],
"topics": [
"mathematics",
"sciences",
"set-theory"
],
"wikipedia": [
"axiom of power set"
]
}
],
"synonyms": [
{
"sense": "axiom of set theory",
"word": "power set axiom"
}
],
"translations": [
{
"code": "fi",
"lang": "Finnish",
"sense": "axiom of set theory",
"word": "potenssijoukkoaksiooma"
},
{
"code": "it",
"lang": "Italian",
"sense": "axiom of set theory",
"tags": [
"masculine"
],
"word": "assioma dell'insieme potenza"
}
],
"word": "axiom of power set"
}
Download raw JSONL data for axiom of power set meaning in English (2.8kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-12-21 from the enwiktionary dump dated 2024-12-04 using wiktextract (d8cb2f3 and 4e554ae). 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.