完全性定理の定式化

https://www.researchgate.net/publication/337655199_shulilunlixuerumen

上記のリンク先に公開しました.

数理論理学の基礎の pdf に加筆して, 完全性定理の定式化を行いました.