>>785
関数をその集合での実現にうつすのが関数だと言うなら、定義域がいかなる集合なのか書いてみろよ。そんなものは形式化できないから
一方で、論理式をゲーデル数にうつす関数は定義域は論理式全体からなる集合だろ、こっちはちゃんと集合で記述された立派な関数なんだよ