Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02793738n
Noun Concept
JA
無矛盾等価  無矛盾性同値
EN
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. Wikipedia
Sources
Wikidata
JA
無矛盾等価
Wikidata Alias
JA
無矛盾性同値

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