[logic-ml] (詳報)第18回関西集合論セミナ:2019年7月5日 大阪府立大学