Eso significa que los axiomas de una determinada teoría caracterizan en realidad aspectos de diferentes tipos de estructuras.