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:espaces_de_Hilbert gptkb:parallelogram_law
gptkb:Peano_arithmetic distinct natural numbers have distinct successors
gptkb:ZFC_(with_Axiom_of_Choice) gptkb:Axiom_of_Pairing
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice gptkb:Axiom_of_Infinity
gptkb:Zermelo-Fraenkel_set_theory_(ZF) gptkb:Axiom_of_Union
gptkb:Bernays–Kuratowski–von_Neumann_set_theory gptkb:Axiom_of_Choice
gptkb:Morse–Kelley_class_theory choice
gptkb:Zermelo–Fraenkel_set_theory_with_choice gptkb:Axiom_of_Extensionality
gptkb:Von_Neumann–Bernays–Gödel_set_theory gptkb:Axiom_of_Pairing
gptkb:cohomological_field_theories unit axiom
gptkb:first-order_predicate_calculus axioms of equality
gptkb:ZFC_(with_choice) gptkb:Axiom_of_Separation
gptkb:Nash_bargaining_solution gptkb:Pareto_efficiency
gptkb:Kelley–Morse_set_theory gptkb:Axiom_of_Replacement
gptkb:Savage's_subjective_expected_utility_theory Savage's axioms
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory Axiom of Class Power Set
gptkb:first-order_logic_with_equality substitutivity of equality
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Axiom_of_Infinity
gptkb:Eilenberg–Steenrod_axioms_(modified) dimension axiom
gptkb:Martin-Löf_type_theory gptkb:Sigma-type
Please wait…