hasAxiom
P12252
predicate
Indicates that an entity is associated with, defined by, or governed through a specific axiom or set of axioms.
Observed surface forms (8)
- extensionalityAxiomHoldsIn ×1
- includesAxiom ×1
- infinityAxiomHoldsIn ×1
- isPostulateIn ×1
- pairingAxiomHoldsIn ×1
- powerSetAxiomHoldsIn ×1
- unionAxiomHoldsIn ×1
- usesAxiom ×1
Sample triples (63)
| Subject | Object |
|---|---|
| von Neumann universe | von Neumann universe via predicate surface "pairingAxiomHoldsIn" self-link ⓘ |
| von Neumann universe | von Neumann universe via predicate surface "unionAxiomHoldsIn" self-link ⓘ |
| von Neumann universe | von Neumann universe via predicate surface "powerSetAxiomHoldsIn" self-link ⓘ |
| von Neumann universe | von Neumann universe via predicate surface "infinityAxiomHoldsIn" self-link ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of choice (for sets) ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of empty set ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of extensionality ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of foundation ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of infinity ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of pairing ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of replacement (for sets) ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom of union ⓘ |
| von Neumann–Bernays–Gödel set theory | axiom schema of class comprehension (restricted) ⓘ |