第119章 哥德尔面包房的不可判定之乱

当同调代数面包坊的正合列彩带还在头盔天线缠绕时，老皮手中的拓扑学擀面杖突然浮现出奇怪的纹路——那些由证明符号组成的曲线在杖身扭成莫比乌斯环，末端滴落的奶油竟写出"

此面杖不可证"

的自指命题。

邋遢鬼的克莱因瓶头盔弹出红色警报："

检测到一致性危机信号，哥德尔面包房的不可判定面包正在吞噬整明奶油！

"

"

哥德尔？就是那个证明任何足够强的系统都有无法证明的真命题的数学家？"

小美摸着围裙上的态射花纹，突然指着远处地平线——那里漂浮着由公理砖块堆砌的空中城堡，每块砖都刻着"

面包宇宙第一公理：所有面包皆可证"

，但城堡底部正渗出黑色的"

不可判定浆糊"

，"

难道他们在烘焙无法被证明的真面包？"

星尘孢子的侍应生制服突然变成逻辑学教授袍，领口别着"

?"

和"

?"

的矛盾胸针："

准确来说，哥德尔面包房的使命是用形式证明奶油烘焙真理面包，但最近新出炉的连续统假设面包突然拒绝被证明，还煽动其他面包质疑选择公理果酱的合法性。

现在整个面包房陷入我到底是不是真面包的自我怀疑漩涡。

"

众人搭乘"

元数学电梯"

升向空中城堡，电梯内的安全须知写着："

请勿在证明过程中回头看自己的尾巴，否则会触发罗素悖论吞噬事件。

"

老皮刚读完，就见电梯镜面里的自己突然分裂成"

能证明的左脸"

和"

不能证明的右脸"

，右脸还对着左脸吐舌头："

你永远证不出我有多帅。

"

面包房大厅里，一群"

命题面包"

正围着中央喷泉争吵，每个面包都举着写有逻辑符号的小旗子。

圆滚滚的"

本章未完，点击下一页继续阅读