Axiomatizable

axiomatizable type — аксиоматизируемый тип
axiomatizable class — аксиоматизируемый класс
axiomatizable system — аксиоматизированная система
axiomatizable theory — аксиоматизируемая теория
universally axiomatizable — универсально аксиоматизируемый
finitely axiomatizable class — конечно аксиоматизируемый класс
finitely axiomatizable system — конечно аксиоматизируемая система
finitely axiomatizable theory — конечно аксиоматизируемая теория
relatively axiomatizable class — относительно аксиоматизируемый класс
finitely axiomatizable variety — конечно аксиоматизируемое многообразие
universally axiomatizable class — универсально аксиоматизируемый класс
recursively axiomatizable theory — рекурсивно аксиоматизируемая теория
universally axiomatizable subclass — универсально аксиоматизируемый подкласс
finitely axiomatizable quasivariety — конечно аксиоматизируемое квазимногообразие