[logic-ml] Kobe Set Theory Seminar のお知らせ