Jones (1997) presents a view of the second recursion theorem based on a reflexive language.
Jones (1997) は自己反映言語に基づいた第二再帰定理の見方を示した。