Le théorème d'itération est dû à Stephen Kleene, il est aussi connu sous le nom de théorème smn dans sa forme paramétrisée.