数学基礎論

1000冊以上の専門書を読んだ私が数学基礎論を学ぶために使用したおすすめの教科書を紹介します。数学基礎論では集合論・数理論理学・再帰理論・モデル理論・証明論・圏論などについて学びます。