[logic-ml] RIMS研究集会「公理的集合論とその応用」のお知らせ(再送)