数学基礎論は圏論と集合論、記号論理かなぁ…圏論をやると、数学の目的が理解できると思う。
Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
