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:complex_vector_space distributivity of scalar multiplication with respect to vector addition
gptkb:Meet-semilattice x ∧ y = y ∧ x
gptkb:modal_logic_S5 4: □p → □□p
gptkb:Von_Neumann–Morgenstern_utility_theorem transitivity
gptkb:Zermelo–Fraenkel_set_theory_with_large_cardinal_axioms gptkb:large_cardinal_axiom
gptkb:Join-semilattice x ∨ x = x
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory gptkb:Axiom_of_Extensionality
gptkb:von_Neumann–Bernays–Gödel_axioms Power Set
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) gptkb:Axiom_of_Separation
gptkb:NBG_set_theory gptkb:Axiom_of_Class_Comprehension
gptkb:MK_set_theory gptkb:Axiom_of_Extensionality
gptkb:Morse–Kelley_class_theory extensionality
gptkb:TQFT gptkb:Graeme_Segal
gptkb:Euclidean_Geometry gptkb:Euclid
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Axiom_of_Extensionality
gptkb:Constructive_set_theory axiom of set induction
gptkb:Quillen_model_categories 2-out-of-3 property for weak equivalences
gptkb:ZFC_(with_choice) gptkb:Axiom_of_Separation
gptkb:Martin-Löf_type_theory inductive types
gptkb:algebraic_cobordism localization
Please wait…