不可定义数

实数里面绝大部分数都是无法被认识的，因为不可定义数占了实数里的绝大部分。
我们把"可定义数"定义为"一切可以被语言描述的数"，这里的语言包含数学语言、自然语言、计算机语言等各种有限语言集合。例如，定义所有偶数为"所有能被2整除的数"，这样的定义就把形如2,4,6,8,...,2n,...给完整定义了。所以它们中的每一个都是"可定义数"。从定义得知，"可定义数"本身是可数的，因为用来定义"可定义数"的语言里本身只有有限个符号，我们把所有这些定义按照字典顺序排列起来，就把所有能想到的"可定义数"映射到了自然数集上，而自然数是可数数，所以"可定义数"是可数的。由于可数数在在实数里的少得可怜，因此实数里几乎都是"不可定义数"，什么意思呢？就是对于实数里的绝大部分数，无论是人还是计算机，都是无法理解和描述的，能理解和描述的最多只是那些"可定义数"。那么数学史上谁发现了第一个"不可定义数"？答案是，从来没人发现，以后也不会找到实数里的"不可定义数"，尽管"不可定义数"占了实数里的绝大部分。