Concept
Axiomatic system
Overview
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Axiomatic system
Related ideas
- First-order logic
- Felix Hausdorff
- Independence (mathematical logic)
- Garrett Birkhoff
- Georg Cantor
- Argument
- Giuseppe Peano
- John von Neumann
- Foundations of mathematics
- L. E. J. Brouwer
- Ernst Zermelo
- Mathematics
- Mathematical logic
- Model theory
- Natural language
- Number theory
- Richard Dedekind
- Partially ordered set
- Primitive notion
- Princeton University
- Principia Mathematica
- Euclid's Elements
- Peano axioms
- Quantum mechanics
Opposing perspectives
Place in the tradition
Part of Coherentism.