https://www.researchgate.net/publication/337655199_shulilunlixuerumen 上記のリンク先に公開しました. 数理論理学の基礎の pdf に加筆して, 完全性定理の定式化を行いました.