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:modal_logic_T all propositional tautologies
gptkb:ZFC_(with_axiom_of_choice) gptkb:axiom_of_extensionality
gptkb:Real_vector_space compatibility of scalar multiplication with field multiplication
gptkb:vertex_operator_algebras Jacobi identity
gptkb:Kelley–Morse_set_theory gptkb:Axiom_of_Class_Comprehension
gptkb:MK_set_theory gptkb:Axiom_of_Extensionality
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Axiom_of_Union
gptkb:Lobachevskian_geometry through a point not on a given line, there are infinitely many lines parallel to the given line
gptkb:Real_vector_space associativity of addition
gptkb:Eilenberg–Steenrod_axioms dimension axiom
gptkb:Heyting_arithmetic Heyting's axioms
gptkb:Π^1_1-CA_0 gptkb:Π^1_1_comprehension_axiom
gptkb:general_extensional_mereology parthood is antisymmetric
gptkb:ZFC_(with_choice) gptkb:Axiom_of_Power_Set
gptkb:Zermelo–Fraenkel_set_theory_without_the_axiom_of_choice gptkb:axiom_schema_of_separation
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory Axiom of Class Elementhood
gptkb:first-order_logic_with_equality transitivity of equality
gptkb:NBG_set_theory gptkb:Axiom_of_Infinity
gptkb:Operads Associativity
gptkb:Projective_geometry gptkb:Desargues'_theorem