axiom of regularity
axiom stating that all sets are well-founded
| rdfs:label |
"axiom of regularity"@en
|
|
skos:alt |
"axiom of foundation"@en
|
| schema:description |
"axiom stating that all sets are well-founded"@en
|
|
schema:date |
"2026-01-01T02:25:27+00:00"^^xsd:dateTime |
| schema:version | 2449991447 |
| wikibase:identifiers | 7 |
| wikibase:sitelinks | 18 |
| wikibase:statements | 14 |
| p:P12888 | wd:statement/Q470981-bf760ba3-483c-b971-a7d6-423cff3f1079 |
| p:P2534 | wd:statement/Q470981-187f9994-465e-324e-6ccd-d245b1b28cc6 |
| p:P2579 | wd:statement/Q470981-d6383ed0-414d-05d8-74ab-42c98d0052ef |
| p:P2812 | wd:statement/Q470981-80816570-3E25-4AC5-828C-DA97FADB71B7 |
| p:P31 | wd:statement/Q470981-08de8c42-496d-21d7-327c-611734527d73 |
| p:P361 | wd:statement/Q470981-B458DAB3-1BF7-4DCB-9DF7-98F56BD2CE5D |
| p:P3827 | wd:statement/Q470981-E5255B05-2C1B-42C4-B4FB-408D7C150675 |
| p:P4215 | wd:statement/Q470981-c5d2d061-412c-6197-f6ce-dce9d636c209 |
| p:P6104 | wd:statement/Q470981-A8D3E335-3AFC-4A41-922C-27BC921266AD |
| p:P6366 | wd:statement/Q470981-90B105A5-848B-4ADD-9B84-100D4CD1C92B |
| p:P646 | wd:statement/Q470981-09CA2887-A079-43A4-9A27-CB03B43BCD5A |
| p:P6781 | wd:statement/Q470981-a0105e3e-4e6a-e267-5e5f-84daf9ba8423 |
| p:P7235 | wd:statement/Q470981-3896d90d-49b3-03d8-4520-247288c2c8b9 |
| wd:statement/Q470981-85f221e8-486c-cf73-a12a-b30eae73ff29 | |
|
p:direct- |
<https:/ |
| wdt:P12888 | "ax-reg" |
| 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><mi>x</mi><mo stretchy="false">:</mo><mi>x</mi><mo stretchy="false">≠</mo><mi variantform="True">∅</mi><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mo>⟹</mo><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mi mathvariant="normal">∃</mi><mi>y</mi><mo stretchy="false">∈</mo><mi>x</mi><mo stretchy="false">:</mo><mi>y</mi><mo stretchy="false">∩</mo><mi>x</mi><mo stretchy="false">=</mo><mi variantform="True">∅</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P2579 | Zermelo–Fraenkel set theory |
| wdt:P2812 | "AxiomofFoundation" |
| wdt:P31 | axiom of set theory |
| wdt:P361 | list of axioms |
| wdt:P3827 | "axiom-of-regularity" |
| wdt:P4215 | "axiom of foundation" |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "2780276191" |
| wdt:P646 | "/m/0ww8" |
| wdt:P6781 | "Axiom:Axiom_of_Foundation" |
| wdt:P7235 | "<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 variantform="True">∅</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| "<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"><mo stretchy="false">∩</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
Download as: