『数理論理学の基礎 〜理論の構成と定義による保存拡大の証明論的分析〜』の概要と紹介文を書き換えました。 https://www.researchgate.net/publication/337655199_shulilunlixuenojichu_lilunnogouchengtobaocunkuoda 『公理的集合論研究書 〜証明論的アプ…