『数理論理学入門』を『数理論理学の基礎 〜理論の構成と定義による保存拡大の証明論的分析〜』に変更しました。 https://www.researchgate.net/publication/337655199_shulilunlixuenojichu_lilunnogouchengtobaocunkuoda 『公理的集合論入門』を『公理的集…