[kisoron-ml] 数学基礎論及び歴史分科会からの重要なお知らせ