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