Restricciones matemáticas para una semántica de la información