Esto hace pensar, a nivel intuitivo, que no va a ser posible definir un sistema formal.