Recursion (Yineleme) Teoremi
X bir küme ve a∈X olsun. X den X e bir dönüşüm olsun. O zaman her n∈N için f(0)=a f(n+)=d(f(x)) olacak şekilde bir tek f: N--->X dönüşümü vardır.
Bunun ispatı için yardımcı olabilir misiniz internette araştırdım ve kitaplara da baktım ama bulamadım??