| This axiom is used not only in Euclidean geometry but also in the broader study of affine geometry where the concept of parallelism is central. | Аксиома используется не только в евклидовой геометрии, но и также в аффинной геометрии, в которой понятие параллельности является центральным. |
| feeling as though every axiom in your life turned out to be false, and there is actually nothing. | Чувство, что каждая аксиома твоей жизни оказалась неверной, и ничего на самом деле нет. |
| An axiom of reform in recent years is that markets work better when there is greater transparency all around, including on the part of major private financial institutions. | Аксиома реформ в последние годы состоит в том, что чем выше общая транспарентность, в том числе транспарентность основных частных финансовых учреждений, тем лучше функционируют рынки. |
| Axiom 2 is equivalent to saying that the poset is a graded poset. | Аксиома 2 эквивалентна утверждению, что посет является градуированным посетом. |
| 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 - концептуальный прототип цифровой кинокамеры. |
| 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 SW has acquired a significant statute Microsoft Gold Certified Partner. | В 2006 г. фирма AXIOM SW получила весомый статус Microsoft Gold Certified Partner. |
| The same rule was also established by independent judges and regarded as a fundamental legal axiom. | Это же правило также установлено независимыми судьями и рассматривается в качестве одной из основополагающих правовых аксиом. |
| 5 There are several alternatives for this "non-triviality" axiom. | Существует несколько альтернативных аксиом такой «нетривиальности». |
| 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} аксиома выбора следует из других аксиом теории множеств. |