Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Set
|
| gptkbp:has_implications_for |
Every countable collection of non-empty sets has a choice function
|
| https://www.w3.org/2000/01/rdf-schema#label |
Countable Choice
|
| gptkbp:is_a_form_of |
Choice axiom
|
| gptkbp:is_applicable_to |
Countable sets
|
| gptkbp:is_compared_to |
Countable unions of sets
|
| gptkbp:is_often_discussed_in |
Set theory literature
|
| gptkbp:is_used_in |
gptkb:Mathematics
|
| gptkbp:legal_principle |
Choice theory
|
| gptkbp:related_to |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:strength |
Axiom of Choice
|
| gptkbp:bfsParent |
gptkb:The_Axiom_of_Choice
|
| gptkbp:bfsLayer |
7
|