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_set_theory gptkb:Axiom_of_Pairing
gptkb:Pragmatics_of_Human_Communication Every communication has a content and relationship aspect
gptkb:NBG_axioms gptkb:Axiom_of_Power_Set
gptkb:ZFC_set_theory gptkb:Axiom_Schema_of_Replacement
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory Axiom of Elementhood
gptkb:Zermelo–Fraenkel_set_theory_with_Choice_(ZFC) gptkb:Axiom_of_Replacement
gptkb:Floyd–Hoare_logic postcondition weakening
gptkb:Set_Theory gptkb:NBG
gptkb:NBG_(set_theory) gptkb:Axiom_of_Infinity
gptkb:Zermelo–Fraenkel_set_theory gptkb:Axiom_of_Union
gptkb:MK_set_theory gptkb:Axiom_of_Class_Comprehension
gptkb:commutative_group for all a in G, there exists b in G such that a * b = b * a = e
gptkb:HoTT function extensionality
gptkb:Braided_monoidal_category hexagon identity
gptkb:Real_vector_space distributivity of scalar multiplication over field addition
gptkb:Morse–Kelley_set_theory gptkb:Axiom_of_Union
gptkb:Axiomatic_set_theory gptkb:Axiom_of_Foundation
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice gptkb:Axiom_of_Extensionality
gptkb:intuitionistic_type_theory W-type axiom
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:Axiom_of_Infinity
Please wait…