Current Data About
axiom of power set
| (P31) |
(Q36191904)
|
||
| (P361) |
(Q3632199)
|
||
| (P2534) |
\forall x \, \exists P \, \forall y\, y \in P \Leftrightarrow y \subseteq x
|
||
| (P2579) |
(Q191849)
(Q191853) |
||
| (P6104) |
(Q8487137)
|
other details
| aliases |
axiom of the power set power set axiom |
| description | axiom guaranteeing the existence of power sets |
External Links
| (P646) |
/m/0dtgh
|
| (P1417) |
topic/axiom-of-power-set
|
| (P2812) |
AxiomofthePowerSet
|
| (P6366) |
2779088772
|
| (P6781) |
Axiom:Axiom_of_Powers
|
| (P12888) |
ax-pow
|