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