章节出错了,点此刷新,刷新后小编会在两分钟内校正章节内容,请稍后再试。
永恒。
苍白之王。
无限的概念王国。
……
我们在之树下醒来，的到来给的链界添了一条的限。
限不是讨人喜欢的东，摆弄的触须还未成型，鞭挞着池的琼浆，刻下灰银的箴言。的身覆盖着分线条构成的壳，壳的颜为紫和蓝，呈现出一种渐变效，神圣的印记雕琢在胎盘上，以身中为轴旋转对称。
呐，一个伟大的推，朦胧的双眼还未到一缕，却已经给我们的造留下了不深不浅的伤痕。
不要的，不是生的东，在树叶和花朵上寻找食，用长长的触须来感周围的环境。链界鼓的泡沫就浮现在盘踞着的空荡居所，里的像树叶一样长在树上；就是着的树叶。
世界上没有完全一样的树叶，也是这样的，精编织的技艺，一个统嫁在另一棵之树上，变成另一类生成的础统。
有细数过我们这样的后吗？
我们要决悖论，我们要成为悖论。
一渺的观念认为这是一个集论的森林，是实际上这片森林里不是集论主宰，为除之还有类型论(typetheory)，范畴论(category)、拓扑斯论（topostheory）种种构成的无限的元数学石；在一散发燥热息的树从中，支撑一切的是类型论而不是集论。一旦不再用传统的皮亚诺算术定义构们，而是靠定义nat类型构数的成员，类型论的宇宙会是什样子？