ゲーデル数
where "s"["i"] denotes extraction of the element "i" from an encoded sequence "s"; this is easily seen to be a primitive recursive function (assuming an appropriate Gödel numbering is used).