Current Data About
axiom of regularity
| (P31) |
(Q36191904)
|
||||
| (P361) |
(Q3632199)
|
||||
| (P2534) |
\forall x\colon x\ne\varnothing\implies\exists y\in x\colon y\cap x=\varnothing
|
||||
| (P2579) |
(Q191849)
|
||||
| (P6104) |
(Q8487137)
|
||||
| (P7235) |
\varnothing
\cap
|
other details
| aliases |
axiom of foundation |
| description | axiom stating that all sets are well-founded |
External Links
| (P646) |
/m/0ww8
|
| (P2812) |
AxiomofFoundation
|
| (P3827) |
axiom-of-regularity
|
| (P4215) |
axiom of foundation
|
| (P6366) |
2780276191
|
| (P6781) |
Axiom:Axiom_of_Foundation
|
| (P12888) |
ax-reg
|