Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00126930n
Noun Concept
Categories: Mathematical logic, Mathematical logic stubs, Model theory
EN
complete theory  maximal consistent set
EN
In mathematical logic, a theory is complete if it is consistent and for every closed formula in the theory's language, either that formula or its negation is provable. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, a theory is complete if it is consistent and for every closed formula in the theory's language, either that formula or its negation is provable. Wikipedia
IS A
theory
HAS KIND
strongly minimal theory
Wikipedia
EN
complete theory
Wikidata
EN
complete theory
Wikipedia Redirections
EN
maximal consistent set

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