Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Titan
|
| gptkbp:category |
Axiom in Class Theory
Axiom in Set Theory |
| gptkbp:field |
gptkb:Set_Theory
Class Theory |
| gptkbp:formedBy |
Bernays–Gödel Set Theory
von Neumann–Bernays–Gödel Set Theory |
| gptkbp:implies |
gptkb:Axiom_of_Choice
|
| gptkbp:isWeakerThan |
gptkb:Axiom_of_Choice
|
| gptkbp:relatedTo |
gptkb:Axiom_of_Choice
|
| gptkbp:state |
There exists a global choice function on the class of all nonempty sets
|
| gptkbp:usedIn |
gptkb:Morse–Kelley_Set_Theory
gptkb:Category_Theory Class Theory |
| gptkbp:bfsParent |
gptkb:Kelley–Morse_set_theory
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Axiom of Global Choice
|