axiomatizas