各位请注意，我说的必然是逻辑上的必然。
这么说吧，我之所以问这个问题就是因为在一个数学证明中用到了这个推断，但是无法理解，所以来问的。
我可以从逻辑上证明一个对象必然无法找到，再次强调“必然”。这是否等价于我已经证明这个对象不存在。
这里不是大海捞针，不是技术不够，不是运气不好，甚至不是概率为0之类的原因而导致无法找到，他就是“必然”。