数学基礎論

かみ砕いて面白い感じで解説してくれた。