Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
universal set
|
| gptkbp:alternativeTo |
gptkb:New_Foundations_(NF)_set_theory
non-well-founded set theory |
| gptkbp:category |
gptkb:set_theory
|
| gptkbp:complement |
relative to the universal set
|
| gptkbp:contradiction |
gptkb:Russell's_paradox
|
| gptkbp:defines |
the set that contains all objects under consideration in a particular discussion or problem
|
| gptkbp:field |
gptkb:set_theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Universal (set theory)
|
| gptkbp:property |
every set under consideration is a subset of the universal set
|
| gptkbp:symbol |
U
|
| gptkbp:topNotes |
in Zermelo-Fraenkel set theory, the universal set does not exist
|
| gptkbp:usedIn |
gptkb:logic
gptkb:probability_theory gptkb:Venn_diagrams |
| gptkbp:bfsParent |
gptkb:Universal
|
| gptkbp:bfsLayer |
5
|