isConsistentWith

URI: https://gptkb.org/prop/isConsistentWith
7 triples
GPTKB property
Random triples
Subject Object
gptkb:Zermelo–Fraenkel_set_theory_with_the_Axiom_of_Choice gptkb:Axiom_of_Choice
gptkb:Frobenius_norm gptkb:Hilbert–Schmidt_norm
gptkb:ZFC_(with_Axiom_of_Choice) gptkb:Axiom_of_Choice
gptkb:ZFC_(with_axiom_of_choice) axiom of choice
gptkb:Zermelo–Fraenkel_set_theory_without_the_axiom_of_choice gptkb:axiom_of_choice_(independent)
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice gptkb:first-order_logic
gptkb:Zermelo–Fraenkel_set_theory_with_choice gptkb:Axiom_of_Choice