我觉得数学家很可能就遇到这个状况。
那就是，大名鼎鼎的“哥尔德不完备定理”
这个定理阐明，在某些状况下，我们可以制造出一些命题，
是对的，但无法证明他是对的；或者是错的，但你永远也无法证明他是错的。
这听起来挺诡异的，又不是要跟老婆证明自己没有外遇，只能靠恶魔的证明，
可数学中还真的会发生这种状况。
或许有些人会觉得，这个世界怎么可能会有无法证明正确性的东西？
只是人类还不够聪明吧？
三大尺规作图问题、费马最后定理、四色定理都一一被人类攻克，
不是被证伪，就是被证明成功（四色定理有不少波折，但最终也是被承认了）
现在还有很多的著名猜想，例如黎曼猜想，NP问题，
根据哥尔德不完备定理，这些目前为止都找不到反例的猜想，
会不会属于“对的，但无法证明”的类型呢？
坦白说，没有人知道这点。
更糟糕的是，也许我们会发现我们绝对无法辨别到底一个命题是否可证明，
顶多就是用量子电脑，穷举一定长度的文章所有可能排列，
但这最终不是个证明，也许他只是需要更长的内容来证明。
※ 引述《BigMacGCB (尊重友善包容)》之铭言：
: 我想问的是，
: 某些故事的主线是主角要找寻某样人事物，
: 像海贼王就是鲁夫要找寻大秘宝，
: 这样人事物以下用A来代称。
: 如果A是被故事中大众认为根本不存在的东西(或是人)，
: 在大多的作品，
: 主角应该都还是真的能把A找出来，
: 所以我有点好奇，
: 有没有那种主角不停地找，
: 结果最后发现大家说的才是对的，
: 所谓的A根本他妈的不存在，
: 有点白忙一场的感觉，
: 而且在其他人眼里跟傻子一样，
: 不晓得有没有这样的作品？

像是隐形粉红独角兽

像是我的女朋友

薛丁格系列