| The ninth, final axiom is a second order statement of the principle of mathematical induction over the natural numbers. | Девятая и последняя аксиома на языке логики второго порядка - о принципе математической индукции над рядом натуральных чисел. |
| An axiom of set theory allowing for the construction of non-measurable sets. | Аксиома выбора допускает существование множества непустых множеств. |
| 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. | Суть доктрины, по-видимому, состоит в допущении, что завершение жизни есть действие - аксиома стоицизма, которая автору этих строк в его шестьдесят лет не навязывается против воли, как это было в тридцать. |
| The fundamental axiom is: we're not going to share power! | А основная аксиома гласит: что властью нельзя делиться не с кем. |
| Nowhere is this axiom of design more readily apparent than on board the world-famous Battlestar Galactica. | Нигде эта основная аксиома дизайна не проявляется столь очевидно как на борту всемрно известного Звёздного Крейсера Галактика |
| 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). |
| The Axiom roster consists of AxCrank, AxAlicia, AxHeart and AxRyung. | В состав Axiom входили AxCrank, AxAlicia, AxHeart и AxRyung. |
| 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 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 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. | Это же правило также установлено независимыми судьями и рассматривается в качестве одной из основополагающих правовых аксиом. |
| 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". | Он нашел все с точностью до изоморфизма реализации систем аксиом классических геометрий (Евклида, Лобачевского и эллиптической), если в них опустить аксиомы конгруэнтности, содержащие понятие угла, и пополнить эти системы аксиомой «неравенство треугольника». |
| For finite sets X, the axiom of choice follows from the other axioms of set theory. | Для конечного набора Х {\displaystyle X} аксиома выбора следует из других аксиом теории множеств. |
| Finally got through to Axiom Parcel Delivery's corporate office. | Я сумел дозвониться до корпоративного офиса "Аксиом Парсел". |