axiomatizable

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