一些很困難的命题的數學證明也像這情形。

譬如龐加莱猜想之類，非常長而繁複的推論過程，歷遍數學空间的萬水千山。

而作為數學家的上帝一眼看到數學的全部，根本没有"證明"這回事。

所以上帝眼中的數學跟人類蜗牛眼中的數學是不同的。