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:ZFC_(with_choice) gptkb:set_theory
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory Axiom of Elementhood
gptkb:Morse–Kelley_Set_Theory gptkb:Axiom_of_Regularity
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:set_theory
gptkb:Morse–Kelley_class_theory pairing
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory gptkb:Axiom_of_Replacement
gptkb:modal_logic_S5 B: p → □◇p
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:Axiom_of_Choice
gptkb:von_Neumann–Morgenstern_utility_theorem completeness
gptkb:NBG_axioms gptkb:Axiom_of_Power_Set
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory Axiom of Class Existence
gptkb:ZFC_set_theory gptkb:Axiom_of_Pairing
gptkb:Classical_Logic gptkb:Law_of_identity
gptkb:MK_class_theory gptkb:Axiom_of_Infinity
gptkb:Tarski–Grothendieck_Set_Theory gptkb:Axiom_schema_of_separation
gptkb:Morse–Kelley_set_theory gptkb:Axiom_of_Regularity
gptkb:Inner_product_space Linearity in first argument
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory finite set of axioms
gptkb:complex_vector_space commutativity of addition
gptkb:Zermelo_set_theory gptkb:Axiom_of_Infinity
Please wait…