| The ninth, final axiom is a second order statement of the principle of mathematical induction over the natural numbers. | Девятая и последняя аксиома на языке логики второго порядка - о принципе математической индукции над рядом натуральных чисел. |
| The Millennium Declaration adopted at the turn of this century by our heads of States underlined the axiom of peace and security with less armament and more cooperation. | В принятой главами наших государств на рубеже веков Декларации тысячелетия выделена аксиома мира и безопасности при меньшем количестве вооружений и при более активном сотрудничестве. |
| Although this axiom never fully applies in practice (unless inflation is zero and relative prices are stable), with low inflation, the usefulness of annual accounts is not hampered too much. | Хотя эта аксиома никогда в полной мере не применяется на практике (за исключением случаев, когда инфляция равна нулю, а относительные цены являются стабильными), в условиях низкой инфляции это не оказывает значительно негативного влияния на полезность годовых счетов. |
| It is good that this axiom was elaborated and given an emphasis in the IMF's national accounts training material, particularly dealing with Quarterly National Accounts: Scope and Role, prepared in December 1997. | Следует положительно отметить тот факт, что эта аксиома была разработана и получила признание в учебных материалах МВФ по национальным счетам, в частности в материалах, посвященных охвату и роли квартальных национальных счетов, которые были подготовлены в декабре 1997 года. |
| Easy, as far as there is a kind of an axiom - Russia might act reflectively and might be dangerous. | Легко, поскольку существует своего рода аксиома - Россия может действовать рефлекторно и может быть опасна. |
| This axiom is crucial for the Millennium Development Goals and for sustaining gains in the future. | Данный постулат чрезвычайно важен для выполнения Целей развития тысячелетия и для закрепления достижений в будущем. |
| The axiom "all children can be taught" is being successfully implemented. | В республике успешно реализуется постулат «все дети обучаемы». |
| AXIOM Alpha was a digital cinema camera proof of concept prototype. | AXIOM Alpha - концептуальный прототип цифровой кинокамеры. |
| All the mathematical knowledge of Axiom is written in this language. | Вся математическая база Axiom написана на этом языке. |
| AXIOM SW is a purely Czech company. It originated in 1991. | AXIOM SW - это фирма со стопроцентным чешским капиталом, учрежденная в 1991 году. |
| AXIOM is an open hardware and free software digital cinema camera family of devices being developed by a DIY community around the apertusº project. | AXIOM - открытое аппаратное и свободное программное обеспечение для семейства цифровых кинокамер, которые разрабатываются сообществом сделай сам на основе проекта apertusº. |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| The same rule was also established by independent judges and regarded as a fundamental legal axiom. | Это же правило также установлено независимыми судьями и рассматривается в качестве одной из основополагающих правовых аксиом. |
| When David Hilbert wrote his book, Foundations of Geometry (1899), providing a new set of axioms for Euclidean geometry, he used Playfair's form of the axiom instead of the original Euclidean version for discussing parallel lines. | Когда Давид Гильберт написал свою книгу «Основания геометрии» (1899), представляя новый набор аксиом для евклидовой геометрии, он использовал при обсуждении параллельных прямых аксиому в форме Плейфера, а не оригинальную версию Евклида. |
| For finite sets X, the axiom of choice follows from the other axioms of set theory. | Для конечного набора Х {\displaystyle X} аксиома выбора следует из других аксиом теории множеств. |
| The core of post-Keynesian belief is the rejection of three axioms that are central to classical and mainstream Keynesian views: the neutrality of money, gross substitution, and the ergodic axiom. | Ядро посткейнсианской теории составляет отрицание трёх аксиом, принимаемых классиками и кейнсианцами мейнстрима: нейтральности денег, полного замещения и эргодичности. |
| Finally got through to Axiom Parcel Delivery's corporate office. | Я сумел дозвониться до корпоративного офиса "Аксиом Парсел". |