阈限游戏：我为她通关末日游戏
小说《阈限游戏：我为她通关末日游戏》“胡辣汤不胡”的作品之一，路乐思雯是书中的主要人物。全文精彩选节：讲台上的粉笔断了。不是用力过猛，而是路乐的手指在写到“不可证”三个字时，无意识地施加了压力。白色粉笔从中间裂开，半截落在讲台边缘，滚了一圈，停在黑板槽的灰尘里。“——所以哥德尔不完全性定理告诉我们，”路乐放下剩下的粉笔头，转身面对阶梯教室，“任何足够复杂的逻辑系统，都必然存在既不能证实也不能证伪的命题。”他身后的投影屏上，公式 G：本命题在此系统内不可证 在深蓝色背景上泛着冷光。“这意味着，”路乐...