出発点は数学の基礎付けだろ？
だったら入門書が数学基礎論と銘打ってるのはおかしくない。
まさしくヒルベルトプログラムを追体験するものなんだから。