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:Set_Theory gptkb:Axiom_of_Infinity
gptkb:Zermelo-Fraenkel_set_theory gptkb:Axiom_of_Separation
gptkb:Zermelo_set_theory gptkb:Axiom_of_Choice
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory Axiom of Class Elementhood
gptkb:Morse–Kelley_class_theory gptkb:foundation
gptkb:Menge gptkb:Axiom_of_power_set
gptkb:Doxastic_Logic KD45
gptkb:The_Bargaining_Problem gptkb:Pareto_efficiency
gptkb:Constructive_set_theory gptkb:axiom_of_union
gptkb:projective_geometry_PG(2,K) any two lines meet in a unique point
gptkb:Doxastic_Logic D
gptkb:Quillen_model_categories closure under retracts
gptkb:Zermelo-Fraenkel_set_theory_(ZF) gptkb:Axiom_of_Regularity
gptkb:applicative_functor identity law
gptkb:ZFC_(with_Axiom_of_Choice) gptkb:Axiom_of_Choice
gptkb:Braided_monoidal_category triangle identity
gptkb:ZFC_(with_axiom_of_choice) gptkb:axiom_of_regularity
gptkb:Quillen_model_categories 2-out-of-3 property for weak equivalences
gptkb:Hilbert_Space Positive-definiteness
gptkb:ZFC_for_sets gptkb:Axiom_of_Infinity
Please wait…