Simgeler: M, I, U
İlksav: MI
Kurallar:
- Eğer xI bir teoremse, o zaman xIU da teoremdir.
- Eğer Mx bir teoremse, o zaman Mxx de teoremdir.
- Herhangi bir teorem içinde III yerine U koyulabilir.
- UU herhangi bir teoremden atılabilir.
Bu kurallar eşliğinde başlangıç dizisi MI olacak şekilde, MU ya ulaşılmak isteniyor.