hasAxiom

URI: https://gptkb.org/prop/hasAxiom
870 triples
GPTKB property
Alternative names (10)
axiom • axiomatizedBy • axioms • axiomsInclude • containsAxiom • hasAxiomSystem • hasAxioms • includesAxiom • isAxiomatizationOf • satisfiesAxiom
Random triples
Subject Object
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Axiom_of_Choice
gptkb:Eilenberg–Steenrod_axioms excision axiom
gptkb:Morse–Kelley_Set_Theory gptkb:Axiom_of_Regularity
gptkb:Tarski's_axioms_for_geometry axiom of upper dimension
gptkb:Tarski's_axioms_for_geometry gptkb:axiom_of_continuity
gptkb:classical_mereology fusion principle
gptkb:Real_vector_space existence of additive identity
gptkb:Doxastic_Logic K
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory finite set of axioms
gptkb:ZFC gptkb:Axiom_of_Infinity
gptkb:Robinson_arithmetic gptkb:Q7
gptkb:Zermelo-Fraenkel_set_theory gptkb:Axiom_of_Infinity
gptkb:Morse–Kelley_Set_Theory gptkb:Axiom_of_Replacement
gptkb:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice gptkb:Axiom_of_Regularity
gptkb:Bernays–Kuratowski–von_Neumann_set_theory gptkb:Axiom_of_Replacement
gptkb:NBG_(set_theory) gptkb:Axiom_of_Choice
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Axiom_of_Infinity
gptkb:ZFC_(with_choice) gptkb:Axiom_of_Separation
gptkb:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice gptkb:Axiom_of_Empty_Set
gptkb:Quillen_model_categories lifting properties
Please wait…