Metatheorem

/ˌmɛtəˈθɪərəm/

/ˌmɛtəˈθɪrəm/

Перевод слова "metatheorem" на Русский язык

Существительное

/ˌmɛtəˈθɪərəm/

/ˌmɛtəˈθɪrəm/

metatheorem

metatheorems множ.

The metatheorem provides a framework for understanding the consistency of the system.

Метатеорема предоставляет основу для понимания согласованности системы.

Существительное

/ˌmɛtəˈθɪərəm/

/ˌ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.

prove a metatheorem

Researchers worked for years to prove a metatheorem about completeness.

доказать метатеорему

Исследователи долго работали, чтобы доказать метатеорему о полноте.

apply a metatheorem

We need to apply a metatheorem to this family of logical systems.

применить метатеорему

Нам нужно применить метатеорему к этому семейству логических систем.

state the metatheorem

First, let me state the metatheorem before presenting its proof.

сформулировать метатеорему

Сначала позвольте мне сформулировать метатеорему, прежде чем представить её доказательство.

a famous metatheorem

Gödel’s completeness theorem is considered a famous metatheorem in mathematical logic.

известная метатеорема

Теорема Гёделя о полноте считается известной метатеоремой в математической логике.

metatheorem of (something)

The metatheorem of compactness plays a crucial role in model theory.

метатеорема о (чём-либо)

Метатеорема о компактности играет важную роль в теории моделей.