今朝明け方までかけて記号論理学Ⅱのレポートを仕上げました。何について書こうか散々迷ったのですが、形式体系そのものを形式体系のうちで扱うというゲーデルのアイディアにおいて要になるだろうと思われる、表現定理についてまとめました。簡単にいえば、自…