hasAxiom

URI: https://gptkb.org/prop/hasAxiom
905 triples
GPTKB property
Alternative names (10)
axiom • axiomatizedBy • axioms • axiomsInclude • containsAxiom • hasAxiomSystem • hasAxioms • includesAxiom • isAxiomatizationOf • satisfiesAxiom
Random triples
Subject Object
gptkb:MK_class_theory gptkb:Axiom_of_Infinity
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice gptkb:Axiom_of_Choice
gptkb:NBG_set_theory gptkb:Axiom_of_Pairing
gptkb:Menge gptkb:Axiom_of_choice
gptkb:inner_product_spaces conjugate symmetry
gptkb:Zermelo–Fraenkel_set_theory_with_choice gptkb:Axiom_of_Power_Set
gptkb:ZFC_(with_choice) gptkb:Axiom_of_Extensionality
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice) gptkb:Axiom_of_Extensionality
gptkb:modal_logic_S5 T: □p → p
gptkb:Boolean_Algebra Huntington's axioms
gptkb:Meet-semilattice x ∧ (y ∧ z) = (x ∧ y) ∧ z
gptkb:ZFC_(with_choice) gptkb:set_theory
gptkb:Robinson_arithmetic Q5
gptkb:Set_theory gptkb:Axiom_of_Union
gptkb:Elementary_Theory_of_the_Category_of_Sets natural numbers object
gptkb:Eilenberg–Steenrod_axioms gptkb:homotopy_axiom
gptkb:NBG_axioms gptkb:Axiom_of_Union
gptkb:second_order_arithmetic gptkb:Peano_axioms_(second_order)
gptkb:Eilenberg–Steenrod_axioms excision axiom
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) gptkb:Axiom_of_Pairing