关于超越数的存在，刘维尔写出了下面这样一个无限小数:a=0.110001000000000000000001000…，并且证明取这个a不可能满足任何整系数代数方程，由此证明了它不是一个代数数，而是一个超越数。
