[logic-ml] 再送:数学基礎論若の手会(10/29締切)