аксиоматизируемость

Axiomatizability, axiomatization