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.
Örnek:
1. Adım: MII (2. kural)
2. Adım: MIIII (2. kural)
3. Adım: MUI (3. kural)
4. Adım: MUIU (1. kural)
5. Adım: MUIUUIU (2. kural)
6. Adım: MUIIU (4. kural)
.
.
vs gibi
İkinci kural gereği, MI teoremindeki I karakterini 4,294,967,296 adede yükseltebiliriz.
Bu sayıdaki I karakterini, üçüncü kural gereği 1,432,655,765 adet U karakterine dönüştürebiliriz.
Dördüncü kural gereği, U karakterini 1 adede düşürebilir ve MU teoremini elde edebiliriz.
Ama sanırım çözüm bu değil. Hem estetik değil, hem de birinci kuralı değerlendirme imkanı olmuyor.