ゲーデル数
where the right hand side is taken to be a Gödel numbering for sequences.