[logic-ml] 数学基礎論サマースクール2023のお知らせ(第二報)