数学は数に関する学問で、数学基礎論はその一部なんだが…