| English | Russian |
| a type is a collection of objects characterized by functions, axioms and preconditions | тип это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| a type is a collection of objects characterized by functions, axioms and preconditions | тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| action precondition axiom | постулат предусловий действия (ssn) |
| axiom schema | аксиомная схема (ssn) |
| axioms for the additive quantities theory | аксиомы теории аддитивных ресурсов (ssn) |
| axioms for the resource set theory | аксиомы теории комплектности ресурсов (ssn) |
| axioms of the resource requirements theory | аксиомы теории потребности в ресурсах (ssn) |
| collection of objects characterized by functions, axioms and preconditions | совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (ssn) |
| different axioms | различные аксиомы (ssn) |
| formal system of axioms and inference rules | формальная система аксиом и правил вывода (ssn) |
| frame axiom | аксиома фрейма (ssn) |
| functions, axioms and preconditions | функции, аксиомы и предусловия (ssn) |
| many different axioms | множество различных аксиом (ssn) |
| specification axiom | аксиома спецификации (ssn) |
