数学離散数学:何のためにあるか、集合論 - 数学 - 2025