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
Wikidata facts
- Subclass of
- formal system
- Has parts of class
- axiom
Show 3 more facts
- used by
- theorem
- different from
- formal system
- has characteristic
- completeness
Sources (2)
via Wikidata · CC0