Sistemul MIU e introdus de Douglas R. Hofstadter in Gödel, Escher, Bach iar aici am pornit de la prezentarea facuta de Cristian Calude in Adevarat, dar nedemonstrabil (Editura Stiintifica si Enciclopedica, Bucuresti, 1988). Prezentarea sistemului MIU e urmatoarea: