一階述語論理の事実のうち, 個人的に便利だと思った事実を纏めたPDFをアップしました！

ウェブサイトを作りました！書いた記事などをまとめるなど, 萬のことに使います.

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