| rdfs:label |
"axiom of pairing"@en
|
|
skos:alt |
"axiom of the unordered pair"@en
|
| schema:description |
"axiom"@en
|
|
schema:date |
"2025-12-29T11:11:53+00:00"^^xsd:dateTime |
| schema:version | 2448565328 |
| wikibase:identifiers | 6 |
| wikibase:sitelinks | 18 |
| wikibase:statements | 11 |
| p:P1417 | wd:statement/Q920796-4A2E9A91-5B9A-4BB9-8AE6-24F5D38C3D80 |
| p:P2534 | wd:statement/Q920796-0840FA57-DEAA-4BAB-9F87-4BFC2DEB2E78 |
| p:P2579 | wd:statement/Q920796-04721d38-4b98-91f7-0396-f81236bdaf5b |
| p:P2812 | wd:statement/Q920796-4a4c787b-4ee6-9fdb-e905-34e33fde433a |
| p:P31 | wd:statement/Q920796-885323ca-42c7-b2bd-631f-6713f46864b8 |
| p:P361 | wd:statement/Q920796-CA005A73-4445-4693-86F3-362137EBCEDF |
| p:P4215 | wd:statement/Q920796-F6371993-7FED-4FE5-B280-152BD0A8A801 |
| p:P6104 | wd:statement/Q920796-273A36DA-4D1D-47D4-B171-E21666FEF58E |
| p:P6366 | wd:statement/Q920796-8FE17569-B767-4AB3-98CB-8D592A5F70F6 |
| p:P646 | wd:statement/Q920796-77C1F1AF-E149-49B9-A4DE-E150682BFE6F |
| p:P6781 | wd:statement/Q920796-035e3c05-418e-dedd-c06b-b97a4d0be94d |
|
p:direct- |
<https:/ |
| wdt:P1417 | "topic/axiom-of-pairing" |
| 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>A</mi><mspace width="0.167em"></mspace><mi mathvariant="normal">∀</mi><mi>B</mi><mspace width="0.167em"></mspace><mi mathvariant="normal">∃</mi><mi>C</mi><mspace width="0.167em"></mspace><mi mathvariant="normal">∀</mi><mi>D</mi><mspace width="0.167em"></mspace><mo stretchy="false">[</mo><mi>D</mi><mo stretchy="false">∈</mo><mi>C</mi><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mo>⟺</mo><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mo stretchy="false">(</mo><mi>D</mi><mo stretchy="false">=</mo><mi>A</mi><mo stretchy="false">∨</mo><mi>D</mi><mo stretchy="false">=</mo><mi>B</mi><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 | "AxiomoftheUnorderedPair" |
| wdt:P31 | axiom of set theory |
| wdt:P361 | list of axioms |
| wdt:P4215 | "axiom of pairing" |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "2776439378" |
| wdt:P646 | "/m/0ds1d" |
| wdt:P6781 | "Axiom:Axiom_of_Pairing" |
Download as: