El sistema MIU

Un juego de lógica propuesto en el libro Gödel, Escher, Bach que consiste en aplicar reglas a símbolos. Encierra algunas ideas realmente profundas.