数学基礎理論の発展を推進する