我覺得數學家很可能就遇到這個狀況。
那就是，大名鼎鼎的「哥爾德不完備定理」
這個定理闡明，在某些狀況下，我們可以製造出一些命題，
是對的，但無法證明他是對的；或者是錯的，但你永遠也無法證明他是錯的。
這聽起來挺詭異的，又不是要跟老婆證明自己沒有外遇，只能靠惡魔的證明，
可數學中還真的會發生這種狀況。
或許有些人會覺得，這個世界怎麼可能會有無法證明正確性的東西？
只是人類還不夠聰明吧？
三大尺規作圖問題、費馬最後定理、四色定理都一一被人類攻克，
不是被證偽，就是被證明成功（四色定理有不少波折，但最終也是被承認了）
現在還有很多的著名猜想，例如黎曼猜想，NP問題，
根據哥爾德不完備定理，這些目前為止都找不到反例的猜想，
會不會屬於「對的，但無法證明」的類型呢？
坦白說，沒有人知道這點。
更糟糕的是，也許我們會發現我們絕對無法辨別到底一個命題是否可證明，
頂多就是用量子電腦，窮舉一定長度的文章所有可能排列，
但這最終不是個證明，也許他只是需要更長的內容來證明。
※ 引述《BigMacGCB (尊重友善包容)》之銘言：
: 我想問的是，
: 某些故事的主線是主角要找尋某樣人事物，
: 像海賊王就是魯夫要找尋大秘寶，
: 這樣人事物以下用A來代稱。
: 如果A是被故事中大眾認為根本不存在的東西(或是人)，
: 在大多的作品，
: 主角應該都還是真的能把A找出來，
: 所以我有點好奇，
: 有沒有那種主角不停地找，
: 結果最後發現大家說的才是對的，
: 所謂的A根本他媽的不存在，
: 有點白忙一場的感覺，
: 而且在其他人眼裡跟傻子一樣，
: 不曉得有沒有這樣的作品？

像是隱形粉紅獨角獸

像是我的女朋友

薛丁格系列