実部・虚部ともに有理数の複素数と自然数は1対1に対応する。
その対応をFとしてF(n)がジュリア集合に入っているようなn全体の集合の算術的階層はどこだろう。
Fはそんなに複雑でなければ本質的な問題にはならないよね。