我隐隐觉得希尔伯特的梦想就是莱布尼兹的梦想，所以德意志数学家似乎把德意志观念论家的路又重新走了一遍，但我没有证据。