野崎昭弘 著 ちくま学芸文庫 ISBN4-480-08988-8 メタ数学に関する入門的な読み物。 入門読み物としては、それなりといえばそれなり、といった本だとは思うが、ゲーデルの不完全性定理の証明の実際については、私には理解できなかった。 他の部分が仮にどんな…