| The transformation rule is the second Wightman axiom of quantum field theory. | Правилом преобразования служит вторая аксиома Уайтмана квантовой теории поля. |
| 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. | Для большинства целей бесконечность просто удобна; если подходить более тщательно, она присутствует или нет в зависимости от того, принята ли аксиома бесконечности. |
| What the hell is Trevor's Axiom? | Чёрт, что такое аксиома Тревора? |
| "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 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 comes with an extension language called SPAD. | Язык расширений Axiom называется SPAD. |
| AXIOM SW has acquired a significant statute Microsoft Gold Certified Partner. | В 2006 г. фирма AXIOM SW получила весомый статус Microsoft Gold Certified Partner. |
| 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. | Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп». |
| 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 годах о том, что тезис может быть выражен как аксиома или множество аксиом. |
| 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} аксиома выбора следует из других аксиом теории множеств. |
| Finally got through to Axiom Parcel Delivery's corporate office. | Я сумел дозвониться до корпоративного офиса "Аксиом Парсел". |