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 formula_4, teorema menyatakan bahwa ada fungsi unik formula_5 (dengan formula_1 menunjukkan himpunan dari bilangan asli termasuk nol) sehingga
untuk setiap bilangan asli "n".