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:Set_theory gptkb:Axiom_of_Choice
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice) gptkb:Axiom_of_Union
gptkb:vertex_algebra gptkb:vacuum_axiom
gptkb:Hyperbolic_geometry Through a point not on a line, there are infinitely many lines parallel to the given line
gptkb:ZFC_set_theory gptkb:Axiom_of_Power_Set
gptkb:Set_Theory gptkb:Axiom_of_Choice
gptkb:Kripke–Platek_set_theory gptkb:Union
gptkb:Axiomatic_set_theory gptkb:Axiom_of_Union
gptkb:NBG_(set_theory) gptkb:Axiom_of_Extensionality
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:Axiom_of_Union
gptkb:Euclidean_geometry a straight line segment can be extended indefinitely
gptkb:Bernays–Kuratowski–von_Neumann_set_theory gptkb:Axiom_of_Replacement
gptkb:von_Neumann–Morgenstern_utility_theorem independence
gptkb:First-order_logic gptkb:Hilbert_system
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice) gptkb:Axiom_of_Power_Set
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:Axiom_of_Extensionality
gptkb:MK_set_theory gptkb:Axiom_of_Power_Set
gptkb:MK_class_theory gptkb:Axiom_of_Replacement
gptkb:Euclidean_geometry a circle can be drawn with any center and radius
gptkb:Gödel–Löb_provability_logic necessitation rule
Please wait…