axiomatization перевод

• аксиоматизация, аксиоматизируемость - axiomatization process - finite
  axiomatization - syntactic axiomatization Аксиоматизация

• axiomatization process:    мат. процесс аксиоматизации
• finite axiomatization:    мат. конечная аксиоматизация
• syntactic axiomatization:    мат. синтаксическая аксиоматизация
• tarski's axiomatization of the reals:    Аксиоматика Тарского (вещественные числа)
• axiomatizable type:    мат. аксиоматизируемый тип
• axiomatizable theory:    матем. аксиоматизируемая теория
• axiomatizable theor:    мат. аксиоматизируемая теория
• axiomatizations:    Аксиоматизации
• axiomatizable system:    мат. аксиоматизированная система
• axiomatize:    аксиоматизировать Аксиоматизировать
• axiomatizable class:    мат. аксиоматизируемый класс
• axiomatized:    Аксиоматизирующийся