一階述語論理の完全性定理のPDFを書きました！

Alweさん主催 Mathmatical Logic Advent Calendar 2023 の23日目に, 一階述語論理の完全性定理を証明する記事を投稿しました！

詳細はこちら！