Jabarkan Pembuktian keunikan dari Rekursi

dengan a adalah elemen dari X.

Ia dapat dibuktikan dengan induksi matematika bahwa

untuk semua bilangan asli n:

Kasus dasar:  sehingga persamaan memenuhi untuk .

Langkah Induktif: Misalkan  untuk beberapa . Maka

Karenanya F(k) = G(k) menyiratkan F(k+1) = G(k+1).

Beberapa relasi perulangan umum yaitu:

- menjelaskan pengerjaan dari corecursion.

, bagian pertama dari teori himpunan.

Turtles all the way down

Nevins, Andrew and David Pesetsky and Cilene Rodrigues. Evidence and Argumentation: A Reply to Everett (2009). Language 85.3: 671--681 (2009)