| 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. | В принятой главами наших государств на рубеже веков Декларации тысячелетия выделена аксиома мира и безопасности при меньшем количестве вооружений и при более активном сотрудничестве. |
| For most purposes it is simply used as convenient; when considered more carefully it is incorporated, or not, according to whether the axiom of infinity is included. | Для большинства целей бесконечность просто удобна; если подходить более тщательно, она присутствует или нет в зависимости от того, принята ли аксиома бесконечности. |
| The doctrine appears to assume that the end of man is action - a stoical axiom which, to the present writer at the age of sixty, does not recommend itself so forcibly as it did at thirty. | Суть доктрины, по-видимому, состоит в допущении, что завершение жизни есть действие - аксиома стоицизма, которая автору этих строк в его шестьдесят лет не навязывается против воли, как это было в тридцать. |
| Subsumed in the 10 commitments was the axiom that social investments in areas such as education, skills, health, nutrition and gender in fact create a positive compact for greater economic growth and social advancement; indeed, the two are inextricable. | В этих десяти обязательствах содержится аксиома, согласно которой социально ориентированное инвестирование в такие области, как образование, обучение, здравоохранение, питание и равноправие мужчин и женщин, оказывает фактически позитивное воздействие на экономический рост и социальное развитие; по сути обе эти области являются взаимосвязанными. |
| 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 лет назад народами Объединенных Наций с целью поддержания международного мира и безопасности, эта аксиома до сих пор является очевидной. |
| 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 - концептуальный прототип цифровой кинокамеры. |
| The general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein. | Общий случай был решён и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы 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 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º. |
| 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. | Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп». |
| He found all, up to isomorphism, realizations of the systems of axioms of classical geometries (Euclid, Lobachevsky and elliptic) if one omits the congruence axioms containing the concept of angle and supplement these systems with the axiom of "triangle inequality". | Он нашел все с точностью до изоморфизма реализации систем аксиом классических геометрий (Евклида, Лобачевского и эллиптической), если в них опустить аксиомы конгруэнтности, содержащие понятие угла, и пополнить эти системы аксиомой «неравенство треугольника». |
| 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} аксиома выбора следует из других аксиом теории множеств. |