универсальная аксиоматизируемость

Мат. universal axiomatizability