希尔伯特(David Hilbert)在1928年提出了三个关于任意数学形式系统(formal system of mathematics)的基本问题： (1) 这个系统的规 ... Read more
