choiceAxiomMayHoldIn
P19430
predicate
Indicates that the axiom of choice is potentially valid or applicable within a given logical system, model, or context.
Sample triples (1)
| Subject | Object |
|---|---|
| von Neumann universe | von Neumann universe → |