「数学基礎論」に関わる様々な問題を出題いたします。