在卡洛老爹的酒吧里，外面巨大的爆炸声如同惊雷般不时炸响，剧烈的震动似要将整个酒吧掀翻，使得往昔那总是一尘不染的地下酒吧此刻已遍布灰尘。
赛克皱着眉头仔细检查着那几具已经损毁得不成样子的机器人残骸，心中暗自疑惑，这些机器人无论是设计还是做工，都与机械城的产物风格迥异，可毕竟自己离开机械城已然三年，也许机械城的技术已然升级换代了，赛克在这紧张时刻也无暇去深究这些。
赛克敏锐地发现，这些人工智能并非如他之前所想的那样依靠生命识别设备来识别人类，而是借助视觉图像+ ai 芯片。
这就表明在他们的“大脑”中，存有成熟的人类识别模型以及敌人识别模型，以此助力他们清晰地分析敌我。
这也意味着，他们拥有着极为强大的学习能力，能够在瞬息万变的战场上迅速适应各种环境，并且会依照自身的行为以及周边的环境来不断强化自己的模型和判定系统。
但这也会是人工智能唯一的破绽。
只要绞尽脑汁的想出办法引导人工智能进入一个逻辑困境中，让人工智能学习到错误的认知，并将这种错误认知强行灌输进他们的决策系统，进而破坏他们原有的知识体系，使机器人在面对特殊问题时陷入无法得出确定结论的“迷茫”状态，这样便能促使机器人做出错误的指令或者是发动错误的攻击行为。
根据哥德尔不完备定理，在任何足够强大的形式系统中（即使是非常复杂的数学逻辑系统），必然存在既不能被证明为真，也不能被证明为假的命题。也就是说，在这个系统中，必然存在一些陈述，我们无法仅仅依靠这个系统本身来确定其真假。
因此，人工智能的破绽就是，他们所依赖的逻辑系统中，一定存在着无法解决的内在矛盾，人类可以发现这个内在矛盾，或者间接的有意制造问题使人工智能产生新的内在矛盾，从而使其在处理某些问题时陷入困境。
而制造矛盾最简单的方式就是——自指性语句。
自指性语句是指在一个句子中，某个词语或表达方式同时指代了句子本身，这种语句，常常会导致逻辑上的矛盾或悖论。
比如“我正在说谎”，这句话就是个自指性语句。如果这句话是错的，那么它所表达的内容就与事实不符，那么这句话就是假的；但如果这句话是假的，说话者就没有说谎，这又与说话者正在说谎的前提相矛盾。
赛克在计算，如何巧妙的构造一种自指性语句，并将机器人带入到其中。
人类目前能否反败为胜的关键，就在于能否设计一个复杂的、具有自指性或内在矛盾结构的问题让人工智能去处理，使其触及到哥德尔不完备定理所揭示的那种系统边界，从而干扰或打乱人工智能的行动策略和判断机制，为人类争取机会。
赛克心中大致有了答案，急切地说道：“罗素悖论！！！”
肖恩一脸茫然地问道：“什么悖论？”
罗素悖论，是哲学家提出的一个集合论悖论，也被称为“理发师悖论”。
这个悖论的基本思想是：假设n是由所有不属于自身元素的集合所组成的集合，那么请问n属于自身吗？如果n属于n，那么按照定义，n不应当把自身作为元素；如果n不属于n，则按照定义n应当包含n。这就形成了矛盾。
以“理发师”举例，在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。
可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，打算给自己刮脸。
但他思考他能不能给自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，按照他的规定，他就应该给自己刮脸。但是如果他给自己刮脸，他又属于“给自己刮脸的人”，按照他的规定，他就不该给自己刮脸。理发师陷入“给自己刮脸不对，不给自己刮脸也不对”的两难境地。
这样，问题就指向了自己并形成了一个死循环。
这种矛盾会让机器人的逻辑推理过程陷入混乱，因为他无法同时满足相互矛盾的条件。
而解决“理发师悖论”的方法之一就是修正理发师的规矩，将他自己排除在规矩之外。
根据战场形势，除了己方军团，人工智能对一切生命和非生命都发起了进攻。如果把人工智能及他们的所有队友看成一个集合n，制造矛盾，让人工智能陷入 自己/队友 是否属于n的逻辑悖论当中，而为了解决悖论，他们就不得不修改攻击指令……进而实现人类的逆风翻盘。