
Metamathematical
UK
/ˌmɛtəˌmæθəˈmætɪkəl/
US
/ˌmɛtəˌmæθəˈmætɪkəl/

Translation metamathematical into russian
metamathematical
AdjectiveUK
/ˌmɛtəˌmæθəˈmætɪkəl/
US
/ˌmɛtəˌmæθəˈmætɪkəl/
The metamathematical study of formal systems is crucial for understanding their limitations.
Метаматематическое изучение формальных систем важно для понимания их ограничений.
Definitions
metamathematical
AdjectiveUK
/ˌmɛtəˌmæθəˈmætɪkəl/
US
/ˌmɛtəˌmæθəˈmætɪkəl/
Relating to the study of the foundations and methods of mathematics itself, rather than the application of mathematics to other fields.
The metamathematical analysis revealed inconsistencies in the logical framework of the theorem.
Idioms and phrases
metamathematical discussion
The conference included a metamathematical discussion about the limits of formal systems.
метаматематическое обсуждение
На конференции состоялось метаматематическое обсуждение пределов формальных систем.
metamathematical principles
She explained the metamathematical principles that govern proof theory.
метаматематические принципы
Она объяснила метаматематические принципы, управляющие теорией доказательств.
metamathematical perspective
Analyzing Gödel's theorem from a metamathematical perspective reveals its broader implications.
метаматематическая точка зрения
Анализ теоремы Гёделя с метаматематической точки зрения показывает её более широкое значение.
metamathematical approach
A metamathematical approach can clarify certain paradoxes in logic.
метаматематический подход
Метаматематический подход может прояснить некоторые парадоксы в логике.
metamathematical property
The consistency of the system is a key metamathematical property.
метаматематическое свойство
Согласованность системы — это ключевое метаматематическое свойство.