Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00126930n
Noun Concept
Categories: Théorie des modèles, Théorie de la démonstration, Logique mathématique
FR
théorie complète
FR
En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Wikipedia
Definitions
Relations
Sources
FR
En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Wikipedia
IS A
théorie
HAS KIND
EN
strongly minimal theory
Wikipedia
FR
théorie complète
Wikidata
FR
Théorie complète

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