| The non-aggression principle (or NAP; also called the non-aggression axiom, the anti-coercion, zero aggression principle or non-initiation of force) is an ethical stance asserting that aggression is inherently wrong. | Принцип ненападения (также называемый аксиома ненападения, принцип непринуждения, принцип отсутствия агрессии, принцип отказа от инициации насилия, сокр. англ. NAP) - этическая позиция, утверждающая, что «агрессия» по своей сути нелегитимна. |
| At the Headquarters of an Organization which the peoples of the United Nations established 56 years ago in order to maintain international peace and security, that axiom should be self-evident. | В Центральных учреждениях Организации, которая была создана 56 лет назад народами Объединенных Наций с целью поддержания международного мира и безопасности, эта аксиома до сих пор является очевидной. |
| The fundamental axiom is: we're not going to share power! | А основная аксиома гласит: что властью нельзя делиться не с кем. |
| "A" is for Axiom, your home sweet home. | На "а" - "Аксиома", ваш родной дом. |
| And the Axiom will immediately navigate your return to Earth. | и "Аксиома" немедленно возьмёт обратный курс на Землю. |
| 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. | В республике успешно реализуется постулат «все дети обучаемы». |
| The first video provides details on the Axiom information sources. | Первое видео рассказывает о источниках информации о Axiom. |
| The Axiom roster consists of AxCrank, AxAlicia, AxHeart and AxRyung. | В состав Axiom входили AxCrank, AxAlicia, AxHeart и AxRyung. |
| An important break turned up in 1994 when AXIOM SW entered the NAVISION partnership net, today it is Microsoft Dynamics. | Большие изменения произошли в 1994 г., когда AXIOM SW вступила в партнерскую сеть NAVISION, сегодня Microsoft Dynamics. |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| Axiom comes with an extension language called SPAD. | Язык расширений Axiom называется SPAD. |
| The same rule was also established by independent judges and regarded as a fundamental legal axiom. | Это же правило также установлено независимыми судьями и рассматривается в качестве одной из основополагающих правовых аксиом. |
| Financing this deal with company funds, Lawal organized it in collaboration with Carlos St. Mary, director of the diamond trading company Axiom Trading, and Dikembe Mutombo of Mutombo International Group. | Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп». |
| 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. | Ядро посткейнсианской теории составляет отрицание трёх аксиом, принимаемых классиками и кейнсианцами мейнстрима: нейтральности денег, полного замещения и эргодичности. |