あと対角線論法の本質っていうのは、自然数全体から実数全体への写像があったら
それは全射ではない。ということなので、「a を含むものに基づいて a を定義しているのではないか？」
とかいう心配はあまり本質的なことではない。