Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01143330n
Noun Concept
Categories: All articles with unsourced statements, Methods of proof, Conceptual systems, Mathematical axioms, Formal systems
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
IS A
formal system
set
theory
process
HAS PART
axiom
axiomatic system
PART OF
axiomatic system
HAS KIND
decision model
Kripke–Platek set theory with urelements
axiomatic set theory
HAS INSTANCE
elementary geometry
Tarski's axioms
Peano axioms
Kuratowski closure axioms
Typographical Number Theory
+5 relations
DIFFERENT FROM
formal system
axiomatic method
FIELD OF WORK
theory
axiomatic system
HAS PARTS OF THE CLASS
axiom
HAS QUALITY
completeness
consistency
PRODUCT OR MATERIAL PRODUCED
axiomatic system
USED BY
theorem
Open English WordNet
EN
axiomatic system
Wikipedia
EN
axiomatic system
Wikidata
EN
axiomatic system, axiomatisation
Wiktionary
EN
axiomatic system
Wikipedia Redirections
EN
axiom system, Axiomatic approach, axiomatic definition, Axiomatic framework, Axiomatic logic, axiomatic method, axiomatic proof, axiomatic reasoning, Axiomatic System, axiomatic theory, axiomatisation, axiomatization, Hilbert-style calculi
Wikidata Alias
EN
axiomatic theory, axiomatization, set of axioms, system of axioms

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License