数学の本質を考えることにおいて実世界を考える必要はあるん?