>>502
定義とは、言ってしまえば有限個の文字を用いて作られた有限の長さの文字列に過ぎない。その数は高々可算無限個だ。
一方で、実数の数は非加算無限個だ。従って大多数の実数は定義できないまま存在しているわけだ。