形而上学もいいが哲学と数学を結びつけるためにまずライプニッツを