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:Robinson_arithmetic Q4
gptkb:The_Bargaining_Problem gptkb:symmetry
gptkb:ZFC_(with_axiom_of_choice) gptkb:axiom_of_extensionality
gptkb:Von_Neumann–Bernays–Gödel_set_theory gptkb:Axiom_of_Union
gptkb:NBG_axioms gptkb:Axiom_of_Extensionality
gptkb:unital_C*-algebra C*-identity
gptkb:applicative_functor interchange law
gptkb:first-order_logic_with_equality substitutivity of equality
gptkb:Additive_group Existence of additive identity
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:Axiom_of_Infinity
gptkb:Set_Theory gptkb:Axiom_of_Choice
gptkb:Pragmatics_of_Human_Communication The nature of a relationship is dependent on the punctuation of the partners’ communication procedures
gptkb:modal_logic_K distribution axiom
gptkb:Zermelo-Fraenkel_set_theory_(ZF) gptkb:Axiom_of_Replacement
gptkb:Floyd–Hoare_logic conditional rule
gptkb:Kelley–Morse_set_theory gptkb:Axiom_of_Extensionality
gptkb:Zermelo–Fraenkel_set_theory_without_the_axiom_of_choice axiom of infinity
gptkb:Vector_spaces Existence of additive identity
gptkb:Zermelo–Fraenkel_set_theory gptkb:Axiom_of_Pairing
gptkb:vertex_operator_algebras translation covariance
Please wait…