Ese mayor poder expresivo permite axiomatizar sistemas matemáticos más complejos.