この記事はMathematical Logic Advent Calendar 最終日の記事です. adventar.org この記事では書いたpdfの解説を行いたいと思います．pdfの方ではモチベーションとかそういうものを省いたのでそういうことを中心に話していきたいと思います． まずまだ未完成…