Koʻpaytma natural sonlar uchun takroriy qoʻshish orqali aniqlanadi. Berilgan m,n∈N uchun m·0=0 va m·(n+1)=m·n+m deb rekursiv tarzda qurish mavjudligini taʼminlaydi