English English Russian Русский
  • English English
  • Russian Russian
  • English English
  • Russian Russian
en

Metatheorem

UK
/ˌmɛtəˈθɪərəm/
US
/ˌmɛtəˈθɪrəm/
ru

Translation metatheorem into russian

metatheorem
Noun
raiting
UK
/ˌmɛtəˈθɪərəm/
US
/ˌmɛtəˈθɪrəm/
The metatheorem provides a framework for understanding the consistency of the system.
Метатеорема предоставляет основу для понимания согласованности системы.

Definitions

metatheorem
Noun
raiting
UK
/ˌmɛtəˈθɪərəm/
US
/ˌmɛtəˈθɪrəm/
A theorem about theorems, often concerning the properties and structure of a formal system.
The metatheorem demonstrated that any theorem provable in the system could also be proven in its extended version.