axiomatic system
Sign in to saveAlso known as axiomatic theory, system of axioms, set of axioms
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
Connections
semantic theory of truth
Entity
Euclidean geometry
Entity
first-order logic
Entity
mathematics
Entity
set theory
Entity
axiom
Entity
mathematical logic
Entity
group theory
Entity
deductive reasoning
Entity
number line
Entity
Banach space
Entity
compact space
Entity
finite field
Entity
universal algebra
Entity
Principia Mathe
Entity
Hausdorff space
Entity
formal system
Entity
consistency
Entity
Zermelo–Fraenkel set theory
Entity
Hilbert's axioms
Entity