这要看po是怎样理解“有待发现”一词了。
数学本身几乎是可以自我完善的。若是有一个足够聪明的推理机器，它完全可以凭空构建起数学大厦。
然而，问题在于“如果给两台这样的机器，他们在足够长的时间里建立的数学大厦是否很相似？”。
popo说的有待发掘也许除了意味着数学可以在没有人操作的情况下发展下去之外，也暗示着这种发展和发展史的无关性。
但这种暗示似乎就没有那么对了。
其一是关于发展的偏好。说溪流中的黄金是“有待发现的”当然很合理。可这蕴含着某种将黄金与溪流分割开的偏好，这种偏好并非是发现来的。
而如果把从水中捞金改成从所有RGB参数的颜色的宝石里拿一颗，问题就很难被描述为“发现”了，而是“选择”。
在现实里，这种偏好可能会来自其他学科，比如物理，也可能真的就是个人偏好。在德林口中所有数学问题都是心理问题（笑）。
另外就是关于数学大厦的根基。楼上的肥卿已经解释过了一些。大致可以理解成尽管看上去数学似乎是从加减法就能建立起来，但想满足自洽的癖好还需要加入许多许多东西（甚至于这种加入理论上是永远无法完成的）。这些东西的加入虽然不会把原来对的变成错的，但会给人们提供新的视角，创造一些异形一样的东西。
