|
gptkbp:instance_of
|
gptkb:Set
|
|
gptkbp:allows_construction_of
|
Basis for every vector space
|
|
gptkbp:has_implications_for
|
Cardinality of Infinite Sets
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
The Axiom of Choice
|
|
gptkbp:implies_existence_of
|
Non-measurable sets
|
|
gptkbp:is_axiom_in
|
gptkb:Zermelo-Fraenkel_Set_Theory
|
|
gptkbp:is_compared_to
|
gptkb:Zorn's_Lemma
Well-Ordering Theorem
|
|
gptkbp:is_criticized_for
|
gptkb:Mathematics
Non-constructive proofs
Constructivists
|
|
gptkbp:is_discussed_in
|
gptkb:Mathematics
|
|
gptkbp:is_related_to
|
gptkb:Countable_Choice
gptkb:Ultrafilter
Tychonoff Theorem
Choice Function
Choice Set
Dependent Choice
Infinite Choice Principle
|
|
gptkbp:is_supported_by
|
Classical Logicians
|
|
gptkbp:is_used_in
|
gptkb:Set
gptkb:Mathematics
gptkb:Logic
gptkb:strategy
gptkb:political_theory
Algebra
Topology
Analysis
Model Theory
Functional Analysis
Measure Theory
Algebraic Topology
Ordinal Numbers
Combinatorial Set Theory
Cardinal Numbers
Homotopy Theory
Set-Theoretic Topology
|
|
gptkbp:proposed_by
|
gptkb:Giuseppe_Peano
|
|
gptkbp:bfsParent
|
gptkb:J._Richard_Cohen
|
|
gptkbp:bfsLayer
|
6
|