formales System (aus ->"Hofstadter: Gödel, Escher, Bach") bestehend aus den Buchstaben M, I und U, mit den Regeln *I -> *IU, Mx -> Mxx, III -> U und UU ->