| The ninth, final axiom is a second order statement of the principle of mathematical induction over the natural numbers. | Девятая и последняя аксиома на языке логики второго порядка - о принципе математической индукции над рядом натуральных чисел. |
| But when this axiom was formulated, the accelerating expansion of the universe, which implies a negative pressure, was not known yet. | Но когда была сформулирована эта аксиома, ускоряющееся расширение Вселенной, подразумевающее отрицательное давление, еще не было известно. |
| Axiom 2 is equivalent to saying that the poset is a graded poset. | Аксиома 2 эквивалентна утверждению, что посет является градуированным посетом. |
| Pasch's axiom and the exterior angle theorem still hold for an omega triangle, defined by two points in hyperbolic space and an omega point. | Аксиома Паша и теорема о внешнем угле треугольника выполняются для омега треугольника, который определяется двумя точками гиперболического пространства и омега-точкой. |
| The basic axiom underlying that outcome was that violence and outright conflict cannot serve the fundamental interests and aspirations of either side. Indeed, we cannot but take the long view and look forward. | Базовая аксиома, лежавшая в основе этого результата, заключалась в том, что насилие и прямой конфликт не могут отвечать коренным интересам ни одной из сторон. Действительно, нам остается лишь вглядеться и посмотреть вперед. |
| 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 general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein. | Общий случай был решён и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы Axiom). |
| On 15 October 2015, Bain announced the dissolution of Team Axiom because of the return of his cancer and a lack of recent success for the team. | 15 октября 2015 года Бейн объявил о расформировании Team Axiom из-за вернувшегося рака и отсутствия командных успехов в последнее время. |
| AXIOM SW is a purely Czech company. It originated in 1991. | AXIOM SW - это фирма со стопроцентным чешским капиталом, учрежденная в 1991 году. |
| 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) для доказательства корректности алгоритмов. |
| The same rule was also established by independent judges and regarded as a fundamental legal axiom. | Это же правило также установлено независимыми судьями и рассматривается в качестве одной из основополагающих правовых аксиом. |
| Thus Post in his 1936 paper was also discounting Kurt Gödel's suggestion to Church in 1934-35 that the thesis might be expressed as an axiom or set of axioms. | Таким образом, Пост в своей статье 1936 года также отклонял предложение Курта Гёделя Чёрчу в 1934-5 годах о том, что тезис может быть выражен как аксиома или множество аксиом. |
| 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), представляя новый набор аксиом для евклидовой геометрии, он использовал при обсуждении параллельных прямых аксиому в форме Плейфера, а не оригинальную версию Евклида. |
| 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. | Ядро посткейнсианской теории составляет отрицание трёх аксиом, принимаемых классиками и кейнсианцами мейнстрима: нейтральности денег, полного замещения и эргодичности. |