Denotational semantics, where another least fixed point theorem is used for the same purpose as the first recursion theorem.

Fixed-point combinators, which are used in lambda calculus for the same purpose as the first recursion theorem.

Diagonal lemma a closely related result in mathematical logic

image Kleene's recursion theorem

define Kleene's recursion theorem

wikipedia Kleene's recursion theorem

weblio Kleene's recursion theorem

kotobank Kleene's recursion theorem

jisho Kleene's recursion theorem