變更

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

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

a^2 ² + b4形式素數，首先素數是壹個屬性概唸，併且有壹個a2 + b4結構，這種形式如果是素數，首先必須是奇數，即a與b隻能是壹個偶數壹個奇數才能使得a2 + b4成為奇素數的可能。

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

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

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

當a與b都是任意數時候，a^2 ² + b4 是壹個集合概唸。

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