议论纷纷，有人猜测是‘微幔猜想’，有人猜测是‘数理统一论’，甚至还有人猜测是‘数形互通论’，唯独没人猜测是‘黑德尔猜想’。
原因无它，黑德尔猜想已经被证伪了，而且是国际数学联盟认证过的，棺材板都已经钉死了，难道还能诈尸？