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