プリンキピア・マテマティカ
場合によっては、ヒルベルトが用いた言葉は、何が問題として定式されているのかについて、何かしら解釈の余地があると考えられる。繰り返しになるが、ヒルベルト自身によるユークリッド幾何の定式化に端を発し、プリンキピア・マテマティカをへてブルバキと「知のテロ」に至るまで純粋数学に植え付けられた公理的な基礎付けはまだなかった。