axiom of infinity
axiom asserting that the set of natural numbers exists
| rdfs:label |
"axiom of infinity"@en
|
|
skos:alt |
"gwireb yr anfeidredd"@cy
|
| schema:description |
"axiom asserting that the set of natural numbers exists"@en
|
|
schema:date |
"2025-12-29T10:49:41+00:00"^^xsd:dateTime |
| schema:version | 2448558197 |
| wikibase:identifiers | 10 |
| wikibase:sitelinks | 22 |
| wikibase:statements | 15 |
| p:P12888 | wd:statement/Q920450-ee2041a6-47a3-da4c-fcbe-10b820773380 |
| p:P1417 | wd:statement/Q920450-3493A77F-D0CB-4DA9-851C-DE7E3737123C |
| p:P2534 | wd:statement/Q920450-0bce6639-4bbd-99da-3259-cc36419e78c0 |
| p:P2579 | wd:statement/Q920450-d22a013b-426d-d112-584e-329f54e5ca6e |
| p:P2812 | wd:statement/Q920450-49D65745-C37B-463E-9AB2-FFC0A32E714C |
| p:P31 | wd:statement/Q920450-fc35e864-471e-72eb-badd-111fb1d6f19a |
| p:P3235 | wd:statement/Q920450-E16A7FC9-E5E1-4D33-BA2C-1EC3E1C69E33 |
| p:P361 | wd:statement/Q920450-6DE42FC3-88BB-41CC-8B0D-77ED15AE3F4B |
| p:P3827 | wd:statement/Q920450-ADD3025C-CBFF-4F24-AC7C-45ADD8606A1D |
| p:P4215 | wd:statement/Q920450-143563A8-2D6C-4979-9C98-7C4D59678451 |
| p:P6104 | wd:statement/Q920450-AD42E647-E519-439F-A037-FBE8EDF03961 |
| p:P6366 | wd:statement/Q920450-6FB1A46B-13A3-4C10-87B2-57D5E85D02F3 |
| p:P646 | wd:statement/Q920450-37B755F4-E9FC-4E24-B198-5CE916B274BD |
| p:P6781 | wd:statement/Q920450-624c1fa5-4403-1b00-59d0-2141f0932570 |
| p:P7726 | wd:statement/Q920450-ba35f654-4e61-e79d-b5d3-26988956d0ed |
|
p:direct- |
<https:/ |
| wdt:P12888 | "ax-inf" |
| wdt:P1417 | "topic/axiom-of-infinity" |
| wdt:P2534 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">∃</mi><mrow data-mjx-texclass="ORD"><mi>𝐈</mi></mrow><mspace width="0.167em"></mspace><mo stretchy="false">(</mo><mi mathvariant="normal">∅</mi><mo stretchy="false">∈</mo><mrow data-mjx-texclass="ORD"><mi>𝐈</mi></mrow><mspace width="0.167em"></mspace><mo stretchy="false">∧</mo><mspace width="0.167em"></mspace><mi mathvariant="normal">∀</mi><mi>x</mi><mo stretchy="false">∈</mo><mrow data-mjx-texclass="ORD"><mi>𝐈</mi></mrow><mspace width="0.167em"></mspace><mo stretchy="false">(</mo><mspace width="0.167em"></mspace><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">∪</mo><mo fence="false" stretchy="false">{</mo><mi>x</mi><mo fence="false" stretchy="false">}</mo><mo stretchy="false">)</mo><mo stretchy="false">∈</mo><mrow data-mjx-texclass="ORD"><mi>𝐈</mi></mrow><mo stretchy="false">)</mo><mo stretchy="false">)</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P2579 | Zermelo–Fraenkel set theory |
| wdt:P2812 | "AxiomofInfinity" |
| wdt:P31 | axiom of set theory |
| wdt:P3235 | "the-axiom-of-infinity" |
| wdt:P361 | list of axioms |
| wdt:P3827 | "axiom-of-infinity" |
| wdt:P4215 | "axiom of infinity" |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "2780907442" |
| wdt:P646 | "/m/01knr9" |
| wdt:P6781 | "Axiom:Axiom_of_Infinity" |
| wdt:P7726 | "AxiomOfInfinity" |
Download as: