sonsuz.us
Mu Problemi - Sonsuz Us
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.