la_14究竟是不是无理数。实际上根据格尔丰德-施奈德定理，我们可以得知formula_14是一个无理数，但是它和这个非构造性证明的正确性无关。
构造性证明.对上面的例子，"构造性"证明会给出一个实际的例子，如：已知2的算术平方根是无理数，而3是有理数。formula_21同样是无理数，因为如果他可以写作formula_22，那么根据对数运算法则，9会等于2，然而前者是奇数，后者是偶数（奇数的整数次方还是奇数，偶数的整数次方还是偶数）。