Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01143330n
Noun Concept
Categories: Sistemas conceituais, Lógica
PT
sistema axiomático  método axiomático  axiomatização
PT
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas. Wikipedia
Definitions
Relations
Sources
PT
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas. Wikipedia
IS A
sistema formal
conjunto
teoria
processo
HAS PART
axioma
sistema axiomático
PART OF
sistema axiomático
HAS KIND
EN
decision model
EN
Kripke–Platek set theory with urelements
teoria axiomática de conjuntos
HAS INSTANCE
geometria euclidiana
axiomas tarski
axiomas de Peano
axiomas fecho kuratowski
EN
Typographical Number Theory
+5 relations
DIFFERENT FROM
sistema formal
método axiomático
FIELD OF WORK
teoria
sistema axiomático
HAS PARTS OF THE CLASS
axioma
HAS QUALITY
completude
consistência
PRODUCT OR MATERIAL PRODUCED
sistema axiomático
USED BY
teorema
Wikipedia
PT
sistema axiomático
Wikidata
PT
sistema axiomático
Wikipedia Redirections
PT
método axiomático
Wikipedia Translations
PT
axiomatização, método axiomático, sistema axiomático

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