norimuji.hatenablog.jp この記事を書いてから9か月以上が経つので，達成具合や無理具合をチェックしてみる． 証明論と集合論を勉強する，普遍代数学を勉強する まずこの時普遍代数学をやりたがっていたことを完全に忘れていた．この数か月はゲーム形式主義…