hasAxiom

URI: https://gptkb.org/prop/hasAxiom
905 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 gptkb:Axiom_of_Infinity
gptkb:Morse–Kelley_class_theory gptkb:foundation
gptkb:NBG_(set_theory) gptkb:Axiom_of_Choice
gptkb:normed_vector_space positive definiteness
gptkb:Nash_Bargaining_Solution gptkb:symmetry
gptkb:Zermelo-Fraenkel_set_theory_(ZF) gptkb:Axiom_of_Empty_Set
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Axiom_of_Power_Set
gptkb:Group_(mathematics) Inverse element
gptkb:Quine's_New_Foundations stratified comprehension axiom
gptkb:modal_logic_K distribution axiom
gptkb:Tarski's_axioms_for_geometry axiom of Pasch
gptkb:Set_Theory gptkb:Axiom_of_Union
gptkb:Quillen_model_categories closure under retracts
gptkb:MK_set_theory gptkb:Axiom_of_Replacement
gptkb:first-order_logic_with_equality substitutivity of equality
gptkb:logic S4.3
gptkb:May's_theorem decisiveness
gptkb:Euclidean_geometry given a line and a point not on it, there is exactly one parallel line through the point
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice) gptkb:Axiom_of_Extensionality
gptkb:NBG_axioms gptkb:Axiom_of_Replacement