Saya mau tau Teorema rekursi dari Rekursi

Dalam teori himpunan, ini adalah teorema yang menjamin bahwa fungsi yang terdefinisi secara rekursif itu ada.

Diberikan suatu himpunan X, sebuah elemen a dari X dan sebuah fungsi , teorema menyatakan bahwa ada fungsi unik  (dengan  menunjukkan himpunan dari bilangan asli termasuk nol) sehingga

untuk setiap bilangan asli n.