Gödel numbering
数列のゲーデル数化（）には、より洗練され簡潔な方法が存在する。