华罗庚不可能证明一个二阶逻辑的华林问题
有人说华罗庚证明了华林猜想，纯属无稽之谈，1770年，华林发表了《代数沉思录》（Meditationes Algebraicae），其中说，每一个正整数至多是9个立方数之和；至多是19个四次方之和。还猜想，每一个正整数
都是可以表示成为至多s个n次幂之和，其中s依赖于n。（我們用 g(n) 表示任意自然數可用 n 次方數和表示的最
少個數, 則華林問題便是欲證 g(3) = 9, g(4) = 19 等。）
王元说：“华罗庚证明了：假定fi(x)(1≤i≤s)为满足必须满足的条件的n次整值多项式。则当s>=2n+1时，方程：
当s≥2n+1时，对充分大的N，有非寻常非负解，且解数有渐近公式。”
知道华罗庚哪里错误吗？
华罗庚的推理建立在预期理由的错误前提下：
1，假定。
假定，只能用在否定结果的证明中，例如，欧几里得证明素数无穷多个（假定a成立，可以推出b，得到c，c与a矛盾，所以假定的a不能成立，得到非a）。
假定不能用在肯定的结论（假定a，可以推出b，得到c，c=a，或者c包含a，所以假定的a成立，这个就是预期理由的错误）。
为什么“假定”只能用于否定的结论，而不能用于肯定的结论？一个对科学理论更强的逻辑制约因素是，它们是能够被证伪的。换一句话说，因为以后能够被观测作有意义的检验，理论一定有被证伪的可能性。这种证伪的判据是区分科学与伪科学的一种方法。原因在于证实的内在局限性，证实只能增加一个理论的可信度，却不能证明整个理论的完全正确。因为在未来的某一个时刻，总是会发现与理论有冲突的事例。
2，充分大。（充分大是一个错误概念，一个正确的数学概念必须具备专一性，精确性，稳定性，可以检验性。无法检验的充分大是不能在数学证明中使用。
3，这是二阶逻辑命题，属于无法证明的。这个命题必须逐一认定：给定n后，s是什么。这样的命题才是主项为普遍概念的命题，n为一阶变化率，s为二阶变化率，与费马大定理一样，是一个主项为集合概念的二阶逻辑命题。属于无法证明的命题。与费马大定理一样，n是一阶变化率，xyz是二阶变化率）。