基礎論の研究が数学の発展に貢献した例なんてあるのか?