数学についてのメモ．誤りがあれば各リポジトリのIssueからお知らせください．
算術の超準モデル，Tennenbaumの定理の定理などについてのメモ GitHub
Smullyanのシステムとその形式化についてのメモ GitHub
1階述語論理の完全性定理をHenkinの構成によって証明する GitHub
Yabloのパラドックスと，その形式化による不完全性定理の証明に関するメモ GitHub