Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/MathematicalAxioms> . }
Showing items 1 to 17 of
17
with 100 items per page.
- Axiom_of_countability type MathematicalAxioms.
- Blum_axioms type MathematicalAxioms.
- Cantor%E2%80%93Dedekind_axiom type MathematicalAxioms.
- Eilenberg%E2%80%93Steenrod_axioms type MathematicalAxioms.
- Gluing_axiom type MathematicalAxioms.
- Huzita%E2%80%93Hatori_axioms type MathematicalAxioms.
- Kuratowski_closure_axioms type MathematicalAxioms.
- Least_upper_bound_axiom type MathematicalAxioms.
- Mereology type MathematicalAxioms.
- Mereotopology type MathematicalAxioms.
- Peano_axioms type MathematicalAxioms.
- Predicate_functor_logic type MathematicalAxioms.
- Probability_axioms type MathematicalAxioms.
- Relation_algebra type MathematicalAxioms.
- Tarski's_axiomatization_of_the_reals type MathematicalAxioms.
- Tarski's_axioms type MathematicalAxioms.
- Whitehead's_point-free_geometry type MathematicalAxioms.