『数学基礎論』届いた。