467
次編輯
變更
小
{\displaystyle a^{<sup>2}</sup>+b^{<sup>4}} </sup> 形式的素数”的荒唐结论。
{\displaystyle a^{<sup>2}</sup>+b^{<sup>4}} </sup> 形式的素数”，是属性概念包含结构概念；
{\displaystyle a^{<sup>2}</sup>+b^{<sup>4}} </sup> 形式素数，首先素数是一个属性概念，并且有一个 结构，这种形式如果是素数，首先必须是奇数，即a与b只能是一个偶数一个奇数才能使得 成为奇素数的可能。属性包含结构，如果是两个或者两个以上的变量，就是一个二阶逻辑问题，属于无法证明的问题。
無編輯摘要
https://sxcqgs.fandom.com/zh/wiki/%E4%BC%8A%E4%B8%87%E5%B0%BC%E5%85%8B%E4%BA%8B%E4%BB%B6
主项：“
谓项：“无穷多个”。是 实体 结构概念。
没有问题。
问题在主项
如果我们固定一个a或者b，例如我们固定a是偶数2,4,6,8，......中的一个，比如a=2，b=1,3,5,7,.......。
即2² + {\displaystyle b^{<sup>4}} </sup> ，而b=1,3,5,7，......有无穷多个。
现在问：2² + {\displaystyle b^{<sup>4}} </sup> 形式（注意，这是一个普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=4，问4²+{\displaystyle b^{<sup>4}} </sup> 形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=6，问6²+{\displaystyle b^{<sup>4}} </sup> 形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个；
.........。
当a与b都是任意数时候， 是一个集合概念。
或者固 定{\displaystyle a} 定a 是奇数1,3,5,7，......。b是2,4,6,8，..... 。又是一种无穷多个形式的问题 。 === ''' 二阶逻辑问题是无法证明的''' ===
世界上所有的数学定理都是一阶逻辑， 形式素数问题是一个二阶逻辑问题，世界上没有一个数学定理是二阶逻辑。