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:von_Neumann–Bernays–Gödel_axioms Infinity
gptkb:Epistemic_Logic Distribution axiom (K(p→q) → (Kp→Kq))
gptkb:von_Neumann–Bernays–Gödel_axioms Extensionality
gptkb:Morse–Kelley_Set_Theory gptkb:Axiom_of_Infinity
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) gptkb:Axiom_of_Separation
gptkb:Real_vector_space commutativity of addition
gptkb:Eilenberg–Steenrod_axioms_(modified) dimension axiom
gptkb:Constructive_set_theory gptkb:axiom_of_extensionality
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:Axiom_of_Infinity
gptkb:ZFC+CH gptkb:Axiom_of_Choice
gptkb:TQFT gptkb:Michael_Atiyah
gptkb:Set_theory gptkb:Axiom_of_Power_Set
gptkb:Zermelo_set_theory gptkb:Axiom_of_Power_Set
gptkb:NBG_(set_theory) gptkb:Axiom_of_Regularity
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice) gptkb:Axiom_Schema_of_Replacement
gptkb:Real_vector_space associativity of addition
gptkb:inner_product_spaces sesquilinearity
gptkb:Robinson_arithmetic arithmetic
gptkb:Parallel_Line Parallel Postulate
gptkb:New_Foundations_(NF)_set_theory extensionality
Please wait…