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:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice gptkb:Axiom_of_Separation
gptkb:Floyd–Hoare_logic composition rule
gptkb:unital_C*-algebra associativity
gptkb:Martin-Löf_type_theory W-type
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice) gptkb:Axiom_of_Infinity
gptkb:Zermelo-Fraenkel_set_theory_(ZF) gptkb:Axiom_of_Infinity
gptkb:Zermelo–Fraenkel_set_theory_without_the_axiom_of_choice gptkb:axiom_of_pairing
gptkb:ZFC_set_theory gptkb:Axiom_of_Choice
gptkb:Kleene_algebra associativity
gptkb:Zermelo–Fraenkel_set_theory_with_Choice_(ZFC) gptkb:Axiom_of_Infinity
gptkb:NBG_axioms gptkb:Axiom_of_Extensionality
gptkb:Set_theory gptkb:von_Neumann–Bernays–Gödel_axioms
gptkb:Von_Neumann–Morgenstern_utility_theorem completeness
gptkb:Set_Theory gptkb:Axiom_of_Power_Set
gptkb:Commutative_ring a + b = b + a
gptkb:Zermelo–Fraenkel_set_theory_with_the_Axiom_of_Choice gptkb:Axiom_of_Power_Set
gptkb:Zermelo–Fraenkel_set_theory gptkb:Axiom_of_Power_Set
gptkb:Nash_bargaining_solution gptkb:Pareto_efficiency
gptkb:von_Neumann–Morgenstern_utility_theorem continuity
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Axiom_of_Choice
Please wait…