＞岩波講座「基礎数学」には、数学基礎論は入っていないね。

「現代数学の流れ2」は難波完爾氏が「証明とは何か」で
不完全性定理について書いてるが