ヒルベルト・プログラム
https://ja.wikipedia.org/wiki/ヒルベルト・プログラム
https://ja.wikipedia.org/wiki/ヒルベルトの23の問題
https://sites.google.com/site/sendailogichomepage/files/ref/ref_06