replacementAxiomHoldsIn
P19428
predicate
Indicates that a specified replacement axiom is valid or satisfied within a given logical system, structure, or context.
Sample triples (1)
| Subject | Object |
|---|---|
| von Neumann universe | von Neumann universe → |