未だに3巻のゲーデルの章が理解できない
どの本も不完全性定理は定義の羅列なの?