フォロー
Gödelの不完全性定理についてのきちんとした証明（可証性述語を与えるところまでの膨大な構成），Chaitinの不完全性定理，Quineからの流れによるGrzegorczykの算術を介さない不完全性証明，その他のパラドックスの形式化，証明可能性論理などの諸々の話題をTypstでメモ書きすることにした
Gödelの不完全性定理についてのきちんとした証明（可証性述語を与えるところまでの膨大な構成），Chaitinの不完全性定理，Quineからの流れによるGrzegorczykの算術を介さない不完全性証明，その他のパラドックスの形式化，証明可能性論理などの諸々の話題をTypstでメモ書きすることにした
Typstの文書をGitHub Actionsでコンパイルして自動でGitHub Pagesにデプロイするアクションも組んだので，いつでも最新版を読むことが出来ます
https://sno2wman.github.io/incompleteness.txt/main.pdf