Метатеорема

Перевод метатеорема на английский язык

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

Метатеорема утверждает, что если теорема доказуема, то она истинна.

The metatheorem states that if a theorem is provable, then it is true.

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

Теорема, утверждающая что-либо о других теоремах или о свойствах теоретической системы в целом.

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

доказательство метатеоремы

Доказательство метатеоремы требует внимательного анализа.

proof of the metatheorem

Proof of the metatheorem requires careful analysis.

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

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

to formulate a metatheorem

It's important to first formulate the metatheorem before proceeding to the proof.

обсуждение метатеоремы

Обсуждение метатеоремы заняло несколько часов.

discussion of the metatheorem

The discussion of the metatheorem took several hours.

значение метатеоремы

Значение метатеоремы часто упускается из виду при изучении.

meaning of the metatheorem

The meaning of the metatheorem is often overlooked during study.

вывод из метатеоремы

Вывод из метатеоремы имеет важные последствия для теории.

conclusion from the metatheorem

The conclusion from the metatheorem has important implications for the theory.