Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01143330n
Noun Concept
Categories: Vocabulaire des mathématiques, Axiome
FR
axiomatisation  système axiomatique  théorie axiomatique  méthode axiomatique
FR
En mathématiques, l'axiomatisation d'une théorie est un procédé qui consiste à organiser celle-ci en la fondant sur des axiomes, et à en déduire rigoureusement des théorèmes, dans un cadre qui peut être purement logique, ou celui de la théorie des ensembles. Wikipedia
Definitions
Relations
Sources
FR
En mathématiques, l'axiomatisation d'une théorie est un procédé qui consiste à organiser celle-ci en la fondant sur des axiomes, et à en déduire rigoureusement des théorèmes, dans un cadre qui peut être purement logique, ou celui de la théorie des ensembles. Wikipedia
IS A
système formel
ensemble
théorie
processus
HAS PART
axiome
axiomatisation
PART OF
axiomatisation
HAS KIND
EN
decision model
EN
Kripke–Platek set theory with urelements
théorie axiomatique des ensembles
HAS INSTANCE
géométrie euclidienne
axiomes de Tarski
axiomes de Peano
axiomes de fermeture kuratowski
EN
Typographical Number Theory
+5 relations
DIFFERENT FROM
système formel
EN
axiomatic method
FIELD OF WORK
théorie
axiomatisation
HAS PARTS OF THE CLASS
axiome
HAS QUALITY
complétude
cohérence
PRODUCT OR MATERIAL PRODUCED
axiomatisation
USED BY
théorème
Wikipedia
FR
axiomatisation
Wikidata
FR
axiomatisation, système axiomatique
Wikidata Alias
FR
théorie axiomatique
Wikipedia Translations
FR
axiomatisation, méthode axiomatique, système axiomatique

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