スマリヤン数理論理学講義〈上巻〉不完全性定理の理解のために —… | NiceBooksReads