| Subject | English | Russian |
| progr. | a type is a collection of objects characterized by functions, axioms and preconditions | тип это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| progr. | a type is a collection of objects characterized by functions, axioms and preconditions | тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| Makarov. | accept an axiom as primitive and therefore not subject to proof | принимать аксиому без доказательства |
| Makarov. | accept something as an axiom | принять что-либо за аксиому |
| progr. | action precondition axiom | постулат предусловий действия (ssn) |
| Makarov. | an axiom needs no proof | аксиома не требует доказательства |
| math. | an/the axiom needs no proof | аксиома не требует доказательства |
| Makarov. | Archimedean axiom | аксиома Архимеда |
| phys. | Archimedes's axiom | аксиома Архимеда |
| Makarov. | axiom choice | аксиома выбора |
| math. | axiom of addition | аксиома сложения |
| math. | axiom of additivity | аксиома аддитивности |
| tech. | axiom of Archimedes | аксиома Архимеда |
| IT | axiom of assignment | аксиома присваивания |
| Makarov. | axiom of causality | аксиома причинности (ктп) |
| math. | axiom of choice | аксиома выбора |
| math. | axiom of choice | постулат выбора |
| Makarov. | axiom of choice | аксиома произвольного выбора |
| math. | axiom of class existence | аксиома существования класса |
| math. | axiom of closure | аксиома замыкания |
| math. | axiom of complementarity | аксиома дополнительности |
| Makarov. | axiom of complemetarity | аксиома дополнительности |
| math. | axiom of complete induction | аксиома полной индукции |
| Makarov. | axiom of complete induction | аксиома математической индукции |
| tech. | axiom of completeness | аксиома полноты |
| math. | axiom of comprehension | аксиома свёртывания |
| phys. | axiom of congruence | аксиома конгруэнтности |
| construct. | axiom of constraints | аксиома связей |
| math. | axiom of constructibility | аксиома конструктивности |
| math. | axiom of continuity | аксиома непрерывности |
| math. | axiom of countability | аксиома счётности |
| math. | axiom of coupling | аксиома связи |
| math. | axiom of denumerability | аксиома счётности |
| math. | axiom of dependent choices | аксиома зависимых выборов |
| math. | axiom of difference | аксиома разности |
| ling. | axiom of existence | аксиома существования |
| math. | axiom of families | аксиома семейств |
| math. | axiom of foundation | аксиома фундирования |
| ling. | axiom of identification | аксиома идентификации |
| ling. | axiom of identity | аксиома тождества |
| math. | axiom of inaccessibility | аксиома недостижимости |
| math. | axiom of induction | аксиома индукции |
| math. | axiom of infinity | аксиома бесконечности |
| IT | axiom of iteration | аксиома цикла |
| math. | axiom of limitation | аксиома ограничения |
| Makarov. | axiom of locality | аксиома локальности (ктп) |
| math. | axiom of measurability | аксиома измеримости |
| math. | axiom of measure | аксиома меры |
| math. | axiom of nested intervals | аксиома о вложенных промежутках |
| math. | axiom of pair | аксиома пары |
| math. | axiom of parallelism | аксиома параллельности (of parallels) |
| phys. | axiom of parallels | аксиома параллельности |
| phys. | axiom of parallels | аксиома о параллельных |
| Makarov. | axiom of perfect induction | аксиома математической индукции |
| math. | axiom of power sets | аксиома степени |
| math. | axiom of reducibility | аксиома сводимости |
| Makarov. | axiom of relativistic invariance | аксиома релятивистской инвариантности (ктп) |
| math. | axiom of restriction | аксиома ограничения |
| math. | axiom of revealed preference | аксиома выявленного предпочтения |
| IT | axiom of selection | аксиома выбора |
| tech. | axiom of separability | аксиома отделимости |
| math. | axiom of separation | аксиома отделимости |
| math. | axiom of separation | аксиома выделения |
| Makarov. | axiom of spectrality | аксиома спектральности (ктп) |
| math. | axiom of superposition | аксиома наложения |
| math. | axiom of unions | аксиома суммы |
| math. | axiom of universal class | аксиома универсального класса |
| math. | axiom of unordered pairs | аксиома неупорядоченных пар |
| math. | axiom rank | аксиоматический ранг (многообразия) |
| progr. | axiom schema | аксиомная схема (ssn) |
| IT | axiom scheme | система аксиом |
| math. | axiom scheme | схема аксиом |
| math. | axiom set | набор аксиом |
| progr. | axioms for the additive quantities theory | аксиомы теории аддитивных ресурсов (ssn) |
| progr. | axioms for the resource set theory | аксиомы теории комплектности ресурсов (ssn) |
| philos. | axioms of a belief system | аксиомы мировоззренческой системы (Alex_Odeychuk) |
| psychol. | axioms of choice | аксиомы выбора |
| ling. | axioms of commonsense reasoning | аксиоматика естественного рассуждения |
| math. | axioms of congruence | аксиомы конгруэнтности |
| math. | axioms of incidence | аксиомы инцидентности |
| math. | axioms of metric | аксиомы метрики |
| Makarov. | axioms of motion | аксиомы движения |
| Makarov. | axioms of order | аксиомы порядка |
| psychol. | axioms of reducibility | аксиомы сводимости |
| ling. | axioms of reference | аксиомы референции |
| progr. | axioms of the resource requirements theory | аксиомы теории потребности в ресурсах (ssn) |
| math. | basic axiom | базисная аксиома |
| gen. | be comprehensible by axiom | быть понятным как аксиома |
| IT | Blum's axioms | аксиомы Блума |
| math. | bundle of axioms | пучок аксиом |
| immunol. | Burnet's axiom | принцип Барнета (феномен толерантности организма по отношению к собственным тканям) |
| math. | Cantor axiom | аксиома Кантора |
| Makarov. | Caratheodory axioms of thermodynamics | аксиомы термодинамики Каратеодори |
| math. | cardinality axiom | аксиома мощности (множества) |
| math. | categorical axiom | категорическая аксиома |
| math. | classification axiom scheme | классификационная схема аксиом (ssn) |
| math. | closed axiom | замкнутая аксиома |
| progr. | collection of objects characterized by functions, axioms and preconditions | совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (ssn) |
| Makarov. | combination axioms | аксиомы сочетания |
| math. | combinatory axiom | комбинаторная аксиома |
| math. | completeness axiom | аксиома полноты |
| math. | comprehension axiom | аксиома выделения |
| math. | consistency of axioms | непротиворечивость аксиом |
| math. | consistent axioms | непротиворечивые аксиомы |
| math. | countability axiom | аксиома счётности |
| math. | defining axiom | определяющая аксиома |
| math. | defining axiom | аксиома-определение |
| math. | denseness axiom | аксиома плотности |
| tech. | denumerability axiom | аксиома счётности |
| progr. | different axioms | различные аксиомы (ssn) |
| math. | distance axiom | аксиома расстояния |
| math. | distance axioms | аксиомы расстояния |
| tech. | enumerability axiom | аксиома счётности |
| phys. | equilibrium axiom | аксиома равновесия |
| math. | equivalence of axiom sets | эквивалентность множеств аксиом |
| math. | Euclidean axiom | аксиома Евклида |
| math. | Euclidean axiom | пятый постулат Евклида |
| Makarov. | Euclidean parallel axiom | аксиома параллельности Евклида |
| math. | Euclid's parallel axiom | пятый постулат Евклида |
| math. | exchange axiom | аксиома замены |
| math. | excision axiom | аксиома выделения |
| math. | explicit axiom | явная аксиома |
| math. | extensionality axiom | аксиома экстенсиональности |
| math. | extensionality axiom | аксиома объёмности |
| math. | finite intersection axiom | аксиома конечного пересечения |
| phys. | first countability axiom | первая аксиома счётности |
| progr. | formal system of axioms and inference rules | формальная система аксиом и правил вывода (ssn) |
| progr. | frame axiom | аксиома фрейма (ssn) |
| progr. | functions, axioms and preconditions | функции, аксиомы и предусловия (ssn) |
| Makarov. | fundamental axiom | фундаментальная аксиома |
| phys. | geometric axiom | геометрическая аксиома |
| life.sc. | Grinnell's axiom | аксиома Гринелла (after G.F. Gause, a Soviet biologist, and J. Grinnell, an American naturalist MichaelBurov) |
| math. | group axiom | групповая аксиома |
| quant.el. | Haag-Araki axioms | аксиомы Хаага-Араки |
| math. | having the nature of an axiom | носящий характер аксиомы |
| geom. | Hilbert's axioms | аксиоматика Гильберта (wikipedia.org buhlerav) |
| math. | homotopy axiom | аксиома гомотопии |
| math. | identity axiom | аксиома тождества |
| math. | implicit axiom | неявная аксиома |
| math. | in view of D the axiom may be written as | с учётом |
| math. | independence of axioms | независимость аксиом |
| math. | intuitionistic axioms | интуиционистские аксиомы |
| math. | involution axiom | аксиома инволюции |
| math. | Kolmogorov axioms | аксиомы Колмогорова |
| Makarov. | lay down an axiom | сформулировать аксиому |
| Makarov. | lay down an axiom | выдвинуть постулат |
| gen. | lay down an axiom | установить аксиому |
| gen. | lay it down as an axiom that | принять за аксиому, что |
| gen. | lay it down as an axiom that | принять за аксиому, что |
| math. | linear axiom | аксиома линейности |
| IT | logical axiom | логическая аксиома |
| progr. | many different axioms | множество различных аксиом (ssn) |
| Makarov. | material frame indifference axiom | аксиома независимости материала от системы отсчёта |
| Makarov. | material frame indifference axiom | аксиома материальной объективности |
| Makarov. | material objectivity axiom | аксиома независимости материала от системы отсчёта |
| Makarov. | material objectivity axiom | аксиома материальной объективности |
| math., topol. | Menger axiom | аксиома Менгера |
| math. | multiplicative axiom | аксиома мультипликативности |
| math. | neighborhood axiom | аксиома об окрестности |
| mech. | no problems can be solved by means of the thermodynamic axioms alone | ни одна задача не может быть решена с помощью только термодинамических аксиом |
| math. | nonlogical axiom | нелогическая аксиома |
| math. | norm axiom | аксиома нормы |
| math. | norm axioms | аксиомы нормы |
| math. | open axiom | открытая аксиома |
| math. | parallel axiom | аксиома о параллельных |
| Makarov. | parallel axiom | аксиома параллельных |
| math. | partial exactness axiom | аксиома частичной точности |
| math. | Pasch axiom | аксиома Паша |
| math. | Peano axioms | аксиомы Пеано |
| phys. | Peano's axiom | аксиома Пеано |
| tech. | power axiom | аксиома мощности |
| immunol. | precommitment axiom | теория прекоммитированных лимфоцитов |
| immunol. | precommitment axiom | теория Лёфковица |
| math. | projective axiom | проективная аксиома |
| math. | proper axiom | собственная аксиома |
| math. | propositional axiom | пропозициональная аксиома |
| IT | reducibility axiom | аксиома сходимости |
| math. | reducibility axiom | аксиома приводимости |
| math. | reducibility axiom | аксиома сводимости |
| math. | regularity axiom | аксиома регулярности |
| math. | replacement axiom | аксиома подстановки |
| math. | replacement axiom | аксиома замены |
| tech. | retention axiom | аксиома сохранения |
| math. | second axiom of countability | вторая аксиома счётности |
| phys. | second countability axiom | вторая аксиома счётности |
| math. | separability axiom | аксиома отделимости |
| phys. | separation axiom | аксиома отделимости |
| math. | separation axioms | аксиомы отделимости |
| IT | sequencing axiom | аксиома следования |
| math. | set of axioms | система аксиом |
| math. | set of axioms for equality | множество аксиом равенства |
| math. | specific axiom | специальная аксиома |
| progr. | specification axiom | аксиома спецификации (ssn) |
| math. | strong axiom | сильная аксиома |
| math. | substitution axiom | аксиома подстановки |
| math. | system of axioms | система аксиом |
| math. | take as an axiom | принимать в качестве аксиомы |
| math. | take as an axiom | принимать что-то в качестве аксиомы |
| math. | take as an axiom | принимать за аксиому (Alexander Oshis) |
| Makarov. | take something as an axiom | принимать в качестве аксиомы |
| Makarov. | take something as an axiom | принять в качестве аксиомы |
| math. | take as an axiom that | принимать в качестве аксиомы |
| math. | take as an axiom that | принять как аксиому, что |
| Makarov. | take as an axiom that | принимать в качестве аксиомы |
| math. | tentative axiom | вспомогательная аксиома |
| math. | the axiom of choice | аксиома выбора |
| math. | the axiom of infinity | аксиома бесконечности |
| math. | the axiom of power | аксиома мощности |
| phys. | the axioms become inoperative | Аксиомы перестают действовать |
| Makarov. | the axioms of geometry are generalized statements of self-evident truths | аксиомы геометрии – это обобщённые утверждения очевидных истин |
| math. | the triangle axiom | аксиома треугольника |
| math. | there is one axiom of Euclidean geometry whose correspondence with empirical data about on stretching threads or light rays is by no means obvious | растягивание ниток (световых лучей) |
| mech. | thermodynamic axiom | термодинамическая аксиома |
| math. | triangle axiom | аксиома треугольника |
| comp. | unique name axiom | постулат уникальности имён (kee46) |
| math. | uniqueness axiom | аксиома однозначности |
| math., rit. | utility axiom | аксиома полезности |
| gen. | we lay it down as an axiom that... | мы принимаем за аксиому, что... |
| math. | weak axiom | слабая аксиома |
| geom. | Weyl's axioms | аксиоматика Вейля (wikipedia.org buhlerav) |
| math. | Zermelo axiom | аксиома Цермело |
