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:Join-semilattice x ∨ y = y ∨ x
gptkb:Projective_geometry gptkb:Desargues'_theorem
gptkb:Epistemic_Logic Knowledge is factive (if Kp then p)
gptkb:Morse–Kelley_set_theory gptkb:Axiom_of_Foundation
gptkb:Morse–Kelley_set_theory gptkb:Axiom_of_Power_Set
gptkb:Zermelo-Fraenkel_set_theory gptkb:Axiom_of_Extensionality
gptkb:Axiomatic_set_theory gptkb:Axiom_of_Replacement
gptkb:Set_theory gptkb:Axiom_of_Union
gptkb:May's_theorem decisiveness
gptkb:internal_set_theory Idealization
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Axiom_of_Choice
gptkb:Affine_plane There exist at least three non-collinear points
gptkb:Zermelo-Fraenkel_Set_Theory gptkb:Axiom_of_extensionality
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:mathematics
gptkb:Nash_Bargaining_Solution gptkb:Pareto_efficiency
gptkb:inner_product_spaces sesquilinearity
gptkb:Tarski–Grothendieck_Set_Theory gptkb:Axiom_of_regularity
gptkb:NBG_set_theory gptkb:Axiom_of_Regularity
gptkb:Quine's_set_theory gptkb:Axiom_of_stratified_comprehension
gptkb:Classical_Logic gptkb:Law_of_noncontradiction
Please wait…