どっちにしろ、レイヤーが1個ずつずれてるだけで話は同じだよ。
関数に対して集合での形式化を対応させるものは見た目が関数みたいなだけで関数にならんでしょ
ゲーデル数はちゃんとした関数じゃん