克莱因瓶漂浮在超限归纳法的海洋里，每个瓶口都喷涌着不同公理体系的军队，他们相互厮杀、争斗，喊杀声震耳欲聋。而在战阵中央，矗立着由同伦类型论构筑的第九青铜门，门扉上镶嵌着哥德尔的机械化心脏，散发着令人敬畏的气息。