[logic-ml] 公理的集合論集中講義