Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01143330n
Noun Concept
SYL
No term available
EN
Any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. Open English WordNet
Relations
Sources
IS A
EN
formal system
EN
set
teoria
EN
process
HAS PART
EN
axiom
EN
axiomatic system
PART OF
EN
axiomatic system
HAS KIND
EN
decision model
EN
Kripke–Platek set theory with urelements
EN
axiomatic set theory
HAS INSTANCE
EN
elementary geometry
EN
Tarski's axioms
EN
Peano axioms
EN
Kuratowski closure axioms
EN
Typographical Number Theory
+5 relations
DIFFERENT FROM
EN
formal system
EN
axiomatic method
FIELD OF WORK
teoria
EN
axiomatic system
HAS PARTS OF THE CLASS
EN
axiom
HAS QUALITY
EN
completeness
EN
consistency
PRODUCT OR MATERIAL PRODUCED
EN
axiomatic system
USED BY
EN
theorem

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