>>542
ですよね1章だけですよね
第2不完全性定理以降も含まれているのかと一瞬勘違いしてしまいました