数学の世界に何故「世間」なんてものが出てくるんだろう？