画不出自己的地图匠

地图匠老辜，发誓要在一张图上画尽『画图的规矩』：哪条线能连，哪条不能。他真画出一套自洽的法则，证出不少图都对。可有一回，他闷头憋出一句话：『这张图里，我永远证不出这句话自己是对的。』他想用自家规矩去证——若证出它对，规矩就自相矛盾；若证出它错，规矩偏又说明它其实对。这句话在自家图里，既不能证真也不能证伪，却偏偏是真的。他换更大的纸、更密的规矩重画，新图照旧藏一句类似的。他撂了笔：『只要画图的法子强到能数数，它就非在自己肚里留一个看得真、证不出的死角不可。』

揭示

这则故事想说的概念是：哥德尔不完备定理（Gödel’s Incompleteness Theorems）。

英文定义（Gödel’s Incompleteness Theorems）：Any consistent formal system rich enough to express elementary arithmetic contains a statement that is true within the system but cannot be proved from its own axioms; moreover, such a system cannot prove its own consistency.

它属于哪个领域：数学基础 / 逻辑（Foundations of Mathematics / Logic）

哥德尔 1931 年证明：任何一致且足以表达初等算术的形式系统，都存在既不能证真也不能证伪、却在该系统内为真的命题（第一不完备定理）；并且该系统无法在自身内证明自己的一致性（第二不完备定理）。这动摇了希尔伯特『数学可完全公理化』的梦想，揭示形式系统的根本局限，也深刻影响了计算机科学（停机问题）与认知哲学。

故事里的隐喻对应什么

• 画尽画图规矩的那张图 → 一个形式公理系统
• 『这张图里，我永远证不出这句话自己是对的』 → 哥德尔自指命题（真却不可证）
• 证真则矛盾、证伪则它对 → 一致系统内存在不可判定命题
• 换更大的纸重画，照样藏一句类似的 → 任何足够强的系统都不完备