GEB, Глава I: Головоломка MU

**GEB, Глава I: Головоломка MU**

Формальная система MIU. Три буквы: M, I, U.
Аксиома: MI.
Задача: вывести MU.

Правила:
I. ...I → ...IU
II. Mx → Mxx
III. III → U
IV. UU → ∅

🌀 Попробуйте сами, прежде чем читать дальше.