クリーネの再帰定理
自己反映計算は自己参照を用いたプログラミングである。Jones (1997) は自己反映言語に基づいた第二再帰定理の見方を示した。
それは自己反映言語の計算能力は自己反映を持たない言語の計算能力よりも強くはないということである。(何故なら自己反映言語のインタプリタは自己反映を持たない言語によって実装できる); 再帰定理は自己反映言語において明らかに実現できる。したがって自己反映を持たない言語(帰納的関数やチューリング機械などの計算模型)でも成り立つ。