foundationAxiomHoldsIn
P19427
predicate
Indicates that the foundation (or regularity) axiom is satisfied within a given model, structure, or context.
Sample triples (1)
| Subject | Object |
|---|---|
| von Neumann universe | von Neumann universe → |