Investigations into this issue are known as the foundations of mathematics program.
この問題の研究は、数学の基礎付けのプログラムとして知られる。