Das MU-Rätsel

Ist MU ein Satz des MIU-Systems?

MIU-System (Douglas R. Hofstadter)

Symbole: M, I, U

Axiom: MI

Regeln:

(1) Wenn xI ein Satz ist, dann auch xIU.

(2) Wenn Mx ein Satz ist, dann auch Mxx.

(3) In jedem Satz kann III durch U ersetzt werden.

(4) UU kann aus jedem Satz weggelassen werden.