matematik doğal sayılar teoremiyle başlar.Bütün sayılar doğal sayılar türevidir.El cabir allahın varlığını bu teoremle ispatlar.Çünkü önce 0 ın varlığı kabul edilir.o ın denklik sınıfının eleman sayısı 1 olarak alınır.Diğer sayılar bu şekilde açıklanır.
