>>653
そうなのかなあ？まず対角線論法がおかしいことをいいたい。

この論法は自分がaを計算する手続きをきちんと与えられない。そのいいわけをfのせいにしている。

もし手続きがきちんと与えられるならaを知るためにaを使ってはだめだよね。だから最初のfがもしこのaを定義していたらそれは手続きが自己言及的できちんとしてない。

つまり手続きがおかしいことをfがaを定義しないことにすりかえてる。