Current Data About
axiom of pairing
| (P31) |
(Q36191904)
|
||
| (P361) |
(Q3632199)
|
||
| (P2534) |
\forall A \, \forall B \, \exists C \, \forall D \, [ D \in C \iff (D = A \or D = B)]
|
||
| (P2579) |
(Q191849)
|
||
| (P6104) |
(Q8487137)
|
other details
| aliases |
axiom of the unordered pair |
| description | axiom |
External Links
| (P646) |
/m/0ds1d
|
| (P1417) |
topic/axiom-of-pairing
|
| (P2812) |
AxiomoftheUnorderedPair
|
| (P4215) |
axiom of pairing
|
| (P6366) |
2776439378
|
| (P6781) |
Axiom:Axiom_of_Pairing
|