| The transformation rule is the second Wightman axiom of quantum field theory. | Правилом преобразования служит вторая аксиома Уайтмана квантовой теории поля. |
| Notably, even though this latter relation is frequently presented as an axiom of the theory, in Bohm's original papers of 1952 it was presented as derivable from statistical-mechanical arguments. | Стоит отметить, что, хоть это последнее соотношение нередко представляется как аксиома теории, в оригинальной статье Бома от 1952 года оно было представлено как вывод из статистико-механических аргументов. |
| An axiom of set theory allowing for the construction of non-measurable sets. | Аксиома выбора допускает существование множества непустых множеств. |
| In his doctoral thesis of 1925, von Neumann demonstrated two techniques to exclude such sets-the axiom of foundation and the notion of class. | В докторской диссертации в 1925 году фон Нейман продемонстрировал два способа, позволяющие исключить из рассмотрения множества из парадокса Рассела: аксиома основания и понятие класса. |
| The non-aggression principle (or NAP; also called the non-aggression axiom, the anti-coercion, zero aggression principle or non-initiation of force) is an ethical stance asserting that aggression is inherently wrong. | Принцип ненападения (также называемый аксиома ненападения, принцип непринуждения, принцип отсутствия агрессии, принцип отказа от инициации насилия, сокр. англ. NAP) - этическая позиция, утверждающая, что «агрессия» по своей сути нелегитимна. |
| 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 - концептуальный прототип цифровой кинокамеры. |
| All the mathematical knowledge of Axiom is written in this language. | Вся математическая база Axiom написана на этом языке. |
| AXIOM SW is a purely Czech company. It originated in 1991. | AXIOM SW - это фирма со стопроцентным чешским капиталом, учрежденная в 1991 году. |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| Axiom comes with an extension language called SPAD. | Язык расширений Axiom называется SPAD. |
| 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. | Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп». |
| 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". | Он нашел все с точностью до изоморфизма реализации систем аксиом классических геометрий (Евклида, Лобачевского и эллиптической), если в них опустить аксиомы конгруэнтности, содержащие понятие угла, и пополнить эти системы аксиомой «неравенство треугольника». |
| That shade of purple is a proprietary color owned by Axiom Parcel Delivery, or APD. | Этот оттенок фиолетового запатентованный цвет компании "Аксиом Парсел Деливери" или АПД. |
| Finally got through to Axiom Parcel Delivery's corporate office. | Я сумел дозвониться до корпоративного офиса "Аксиом Парсел". |