bn:01143330n
Noun Concept
Categories: Methods of proof, Mathematical axioms, Conceptual systems, Formal systems, All articles with unsourced statements
EN
axiomatic system  axiomatisation  axiom system  Axiomatic approach  axiomatic definition
EN
Any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. Open English WordNet
Definitions
Examples
Relations
Sources
EN
Any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. Open English WordNet
In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. Wikipedia
Something representable by symbols and its operators Wikipedia Disambiguation
A set of axioms from which theorems can be derived. Wiktionary
EN
An axiomatic system is said to be consistent if it lacks contradiction (i.e. it is not possible to derive both a statement and its negation from the system's axioms). Open English WordNet