[logic-ml] Fwd: RIMS研究集会「公理的集合論とその応用」