3.7引理：折叠证明

数学家陈渊发现了一个不可能存在的东西：一个自我证明的循环——每一步都正确，但结论指向自己的起点。

同一天，失忆二十年的导师在养老院墙上画满了陈渊刚推导出的图形。

追查下去，他发现自己出现在一份2001年的会议签到表上——但他从未参加过那次会议。二十四年前，七名数学家在孟买同时失踪，醒来后全部失忆，脑子里只剩同一种数学。

陈渊是第七个人。

调查却先他一步。有人删改了他的文件，有人早他走过这条路然后消失了。运行了二十多年的监控网络从未停止，而它盯着的，正是他。

七个人被折叠进了一个数学结构。它还活着。而它还没有完成。