Recursion - The Recursion Theorem

The Recursion Theorem

In set theory, this is a theorem guaranteeing that recursively defined functions exist. Given a set X, an element a of X and a function, the theorem states that there is a unique function (where denotes the set of natural numbers including zero) such that

for any natural number n.