目次
- 2024年4月
- 2023年12月
記事
2024年6月
witness-comparison
Lindström 1.PRELIMINARIES の Lemma3 を witness comparison としてまとめました.
2024年4月
一階述語論理の便利な事実
一階述語論理の定理と同値変形で個人的によく見返すものを, 一階述語論理の便利な事実として纏めました.
2023年12月
一階述語論理の完全性定理の証明
Alweさん主催 Mathmatical Logic Advent Calendar 2023 の23日目に、一階述語論理の完全性定理の証明を投稿しました.