hasAxiom

870 triples

GPTKB property

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

Subject	Object
gptkb:cohomological_field_theories	symmetry axiom
gptkb:inner_product_spaces	conjugate symmetry
gptkb:Peano_arithmetic	zero is not the successor of any natural number
gptkb:modal_logic_K	necessitation rule
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice)	gptkb:Axiom_of_Empty_Set
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice)	gptkb:Axiom_of_Regularity
gptkb:general_extensional_mereology	extensionality of parthood
gptkb:Doxastic_Logic	KD45
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:Axiom_of_Extensionality
gptkb:Calculus_of_Constructions	impredicative universe
gptkb:Zermelo-Fraenkel_Set_Theory	gptkb:Axiom_of_power_set
gptkb:Axiomatic_set_theory	gptkb:Axiom_Schema_of_Separation
gptkb:NBG_axioms	gptkb:Axiom_of_Union
gptkb:Lambda_ring	lambda^n(x+y) = sum_{i=0}^n lambda^i(x) lambda^{n-i}(y)
gptkb:Finite_projective_plane	Any two lines meet at a unique point
gptkb:Gödel_logic	prelinearity axiom
gptkb:Jordan_algebras	(x^2∘y)∘x = x^2∘(y∘x)
gptkb:Kelley–Morse_set_theory	gptkb:Axiom_of_Foundation
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice)	gptkb:Axiom_Schema_of_Replacement
gptkb:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice	gptkb:Axiom_of_Union