excludesAxiom

URI: https://gptkb.org/prop/excludesAxiom
4 triples
GPTKB property
Random triples
Subject Object
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice) gptkb:Axiom_of_Choice
gptkb:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice gptkb:Axiom_of_Choice
gptkb:Zermelo–Fraenkel_set_theory_without_the_axiom_of_choice axiom of choice
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice) gptkb:Axiom_of_Choice