axiomatizable перевод

• аксиоматизируемый finitely axiomatizable class ≈ конечно
  аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно
  аксиоматизируемое квазимногообразие finitely axiomatizable system ≈
  конечно аксиоматизируемая система f+больше...initely axiomatizable theor ≈ конечно
  аксиоматизируемая теория finitely axiomatizable variety ≈ конечно
  аксиоматизируемое многообразие recursively axiomatizable theor ≈
  рекурсивно аксиоматизируемая теория universally axiomatizable class ≈
  универсально аксиоматизируемый класс universally axiomatizable subclass
  ≈ универсально аксиоматизируемый подкласс - axiomatizable class -
  axiomatizable system - axiomatizable theor - axiomatizable type

• axiomatizable class:    мат. аксиоматизируемый класс
• axiomatizable system:    мат. аксиоматизированная система
• axiomatizable theor:    мат. аксиоматизируемая теория