-
Английский
-
Русский
-
Английский
-
Русский
Метаарифметический
Перевод метаарифметический на английский язык
метаарифметический
Прилагательное
Метаарифметический анализ помогает понять основы математики.
Metamathematical analysis helps to understand the foundations of mathematics.
Опеределения
метаарифметический
Прилагательное
Относящийся к метаарифметике, разделу математики, изучающему свойства и структуры арифметических систем.
Метаарифметические исследования помогают глубже понять основы числовых систем.
Идиомы и фразы
метаарифметическое свойство
Метаарифметические свойства системы трудно формализовать внутри неё самой.
metaarithmetical property
Metaarithmetical properties of the system are hard to formalize within itself.
метаарифметическая система
Метаарифметическая система описывает отношения между различными арифметическими теориями.
metaarithmetical system
A metaarithmetical system describes relations between different arithmetical theories.
метаарифметическая интерпретация
Метаарифметическая интерпретация необходима для понимания смысла аксиом.
metaarithmetical interpretation
A metaarithmetical interpretation is necessary to understand the meaning of axioms.
метаарифметическая формулировка
Метаарифметическая формулировка проблемы облегчает её анализ.
metaarithmetical formulation
The metaarithmetical formulation of the problem facilitates its analysis.
метаарифметический уровень
Вопрос обсуждается на метаарифметическом уровне.
metaarithmetical level
The question is discussed at the metaarithmetical level.
метаарифметические рассуждения
Метаарифметические рассуждения лежат в основе доказательства теоремы Гёделя.
metaarithmetical reasoning
Metaarithmetical reasoning underlies the proof of Gödel's theorem.
метаарифметическая теорема
Метаарифметическая теорема формулируется вне самой системы.
metaarithmetical theorem
A metaarithmetical theorem is formulated outside the system itself.
метаарифметический подход
Метаарифметический подход применяется при исследовании аксиоматических теорий.
metaarithmetical approach
The metaarithmetical approach is used in the study of axiomatic theories.
метаарифметическое доказательство
Метаарифметическое доказательство требуется для обоснования непротиворечивости арифметики.
metaarithmetical proof
A metaarithmetical proof is required to justify the consistency of arithmetic.
метаарифметический анализ
Метаарифметический анализ позволяет рассматривать свойства формальных систем.
metaarithmetical analysis
Metaarithmetical analysis allows consideration of properties of formal systems.