變更

亨裏克·伊萬尼克事件是指（英語：Henryk Iwaniec，1947年10月9日－），波蘭裔美國數學家，自1987年起擔任羅格斯大學教授。伊萬尼克宣稱證明了：“有無窮多個a² + b4 b⁴ 形式的素數”的荒唐結論。

主項：“a² + b4 b⁴ 形式的素數”，是屬性概唸包含結構概唸；

a² + b4 b⁴ 形式素數，首先素數是壹個屬性概唸， 如果属性概念有两个或者两个以上的变量，就需要分类。 併且有壹 個a2 個a² + b4 b⁴ 結構，這種形式如果是素數，首先必須是奇數，即a與b隻能是壹個偶數壹個奇數才能使 得a2 得a² + b4 b⁴ 成為奇素數的可能。

如果我們固定壹個a或者b，例如我們固定a是偶數2,4,6,8，......中的壹個，比如a=2， 即22 即2² + b4 b⁴ ，而b=1,3,5,7，......有無窮多個。

現在問：2² + b4 b⁴ 形式（注意，這是壹個普遍概唸）是不是有無窮多個素數？如果不能證明肯定，那麽下壹個：

a=4，問4²+b4 b⁴ 形式（普遍概唸）是不是有無窮多個素數？如果不能證明肯定，那麽下壹個：

a=6，問6²+b4 b⁴ 形式（普遍概唸）是不是有無窮多個素數？如果不能證明肯定，那麽下壹個；

把b固定偶数也是一样，a是奇数有无穷多个。 當a與b都是任意數時候，a² + b4 b⁴ 是壹個集合概唸。

世界上所有的數學定理都是壹階邏輯，a² + b4 b⁴ 形式素數問題是壹個二階邏輯問題，世界上沒有壹個數學定理是二階邏輯。