requiresAxiom
P113929
predicate
Indicates that one element depends on a specific axiom as a necessary basis or justification for its validity or use.
All labels observed (1)
| Label | Occurrences |
|---|---|
| requiresAxiom canonical | 1 |
Sample triples (1)
| Subject | Object |
|---|---|
| Bernstein set | axiom of choice for existence proof ⓘ |