hasAxiom

870 triples

GPTKB property

axiom • axiomatizedBy • axioms • axiomsInclude • containsAxiom • hasAxiomSystem • hasAxioms • includesAxiom • isAxiomatizationOf • satisfiesAxiom

Subject	Object
gptkb:Additive_group	Existence of additive inverse
gptkb:Kleene_algebra	associativity
gptkb:ZFC_(with_Axiom_of_Choice)	gptkb:Axiom_of_Separation
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice)	gptkb:Axiom_of_Empty_Set
gptkb:3-dimensional_TQFT	gptkb:Graeme_Segal
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:Axiom_of_Foundation
gptkb:Bernays–Kuratowski–von_Neumann_set_theory	gptkb:Axiom_of_Class_Comprehension
gptkb:Zermelo–Fraenkel_set_theory_with_Choice_(ZFC)	gptkb:Axiom_of_Choice
gptkb:Zermelo–Fraenkel_set_theory	gptkb:Axiom_of_Separation
gptkb:Kelley–Morse_set_theory	gptkb:Axiom_of_Power_Set
gptkb:MK_set_theory	gptkb:Axiom_of_Power_Set
gptkb:Finite_projective_plane	Any two lines meet at a unique point
gptkb:constructive_Zermelo–Fraenkel_set_theory	axiom of strong collection
gptkb:Quillen_model_category	three distinguished classes of morphisms
gptkb:New_Foundations_set_theory	stratified comprehension axiom
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory	Axiom of Class Pairing
gptkb:MK_class_theory	gptkb:Axiom_of_Extensionality
gptkb:von_Neumann–Bernays–Gödel_set_theory	finite set of axioms
gptkb:Weil_cohomology_theories	dimension axiom
gptkb:MK_class_theory	gptkb:first-order_logic