We explored *well-founded* relations and proved a generalization of the recursion theorem to well-founded, *set like* relations. The main application of this result is the *Mostowski collapsing theorem*.

Finally, we defined relativizations and explained how they are useful to establish* relative* consistency results; *absolute *consistency results being precluded by Gödel’s second incompleteness theorem.