[logic-ml] 数学基礎論とその応用