伊万尼克事件
https://zhuanlan.zhihu.com/p/267641655
亨里克·伊万尼克事件是指（英语：Henryk Iwaniec，1947年10月9日－），波兰裔美国数学家，自1987年起担任罗格斯大学教授。伊万尼克宣称证明了：“有无穷多个a^2+b^4形式的素数”的荒唐结论。
主项：“a^2+b^4形式的素数”，是属性概念包含结构概念；
谓项：“无穷多个”。是结构概念。没有问题。
问题在主项
a^2+b^4形式素数，首先素数是一个属性概念，并且有一个a^2+b^4结构，这种形式如果是素数，首先必须是奇数，即a与b只能是一个偶数一个奇数才能使得a^2+b^4成为奇素数的可能。
属性包含实体结构，如果有两个或者两个以上的变量，就是二阶逻辑问题。因为固定属性有两个变量，每一个变量有无穷多个可能。就是无法证明的问题，只能一个个解决。
如果我们固定一个a或者b，例如我们固定a是偶数2,4,6,8，......中的一个：
比如a=2，即2^2+b^4，而b=1,3,5,7，......有无穷多个。
现在问：2^2+b^4形式（注意，这是一个普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=4，问4^2+b^4形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=6，问6^2+b^4形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个；
.........。
伊万尼克只能逐一证明上面问题。
大家看出来了没有？主项是一个二阶逻辑问题。是二阶变化率。
一阶变化率a=2,4,6,8，.....。
二阶变化率b=1,3,5,7，......。
如果固定b=偶数，a=奇数，又有无穷多个模式。
当a与b都是任意数时候，a^2+b^4有无穷多个变化率的变化率，即二阶变化率，即二阶逻辑问题。 是一个集合概念。
二阶逻辑问题是无法证明的
世界上所有的数学定理都是一阶逻辑，a^2+b^4形式素数问题是一个二阶逻辑问题，世界上没有一个数学定理是二阶逻辑。
世界上所有的数学定理主项都是普遍概念或者单独概念，没有任何一个数学定理的主项是集合概念（参见陶哲轩事件和张益唐事件）。伊万尼克胡编乱造错误百出。
伊万尼克只能逐一证明上面问题。而不能一揽子解决。
同样，是否有无穷多个费马素数？是否有无穷多个梅森素数？都是无法一次性解决的。就连稍微简单的x^2+1问题至今无法解决的。怎么可能证明a^2+b^4问题呢？
大家一定会问，狄利克雷证明4k+1或者4k+3形式有无穷多个素数对不对？4k+1或者4k+3是一阶逻辑，只有一个变化率k。
伊万尼克就是给张益唐审稿的人，他的错误与张益唐一样，都是把集合概念作为主项。
如果有一种无穷多个元素a的集合A，集合中每一个元素a包含的素数都是有限的，那么A依然是有限的。除非每一个a至少有一个素数。
无穷事物有无穷的类型，有无穷个级别。