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:hyperbolic_geometry parallel postulate replaced
gptkb:Zermelo_set_theory gptkb:Axiom_of_Choice
gptkb:Tarski's_axioms_for_geometry axiom of betweenness
gptkb:ZFC+LC gptkb:Large_Cardinal_Axioms
gptkb:von_Neumann–Bernays–Gödel_set_theory finite set of axioms
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Axiom_of_Infinity
gptkb:Martin-Löf_type_theory Pi-type
gptkb:intuitionistic_type_theory W-type axiom
gptkb:Shapley_Value gptkb:symmetry
gptkb:ZF_set_theory gptkb:Axiom_of_Union
gptkb:Zermelo-Fraenkel_set_theory gptkb:Axiom_of_Replacement
gptkb:Classical_Logic gptkb:Principle_of_bivalence
gptkb:Zermelo–Fraenkel_set_theory_without_the_axiom_of_choice gptkb:axiom_of_regularity
gptkb:Parallel_Line Parallel Postulate
gptkb:NBG_set_theory gptkb:Axiom_of_Regularity
gptkb:New_Foundations_set_theory stratified comprehension axiom
gptkb:Von_Neumann–Bernays–Gödel_set_theory gptkb:Axiom_of_Extensionality
gptkb:Finite_projective_plane There exist four points, no three collinear
gptkb:NBG_axioms gptkb:Axiom_of_Extensionality
gptkb:applicative_functor composition law
Please wait…