ヒルベルトのプログラムについて、どれくらいの人が、ご存知なのだろうか。 ヒルベルトは、カントールが進めた集合論が、さまざまな矛盾、パラドックスを生みだしてしまった、反省から、一つの、プログラムを提唱する。 数学を、その文法から、反省すること…