ヒルベルトの幾何学基礎論というのは、ある意味
中村八束氏の仕事の先駆といってもよいものだ。

つまり、ヒルベルトの証明と通常の作図による証明の差を理解すれば
形式的証明と通常の証明（あるいは説明）の差を理解できるはずである。