Linked from

The 1 page that link to S-m-n theorem, each with the reason it gives.

• Kleene's recursion theoremRelated: Its parameterization operation supplies the machinery used to construct fixed-point indices.