今日駅前の大型書店に行ってみたが数セミ無かった。
どうしても買いたいときは新幹線で隣町まで行くか
インターネッツで購入せんといかんらしい。
腐っても政令指定都市なのになあ……

「完全性」はarithmetical completenessの意味だ、と解釈したら
一応>>93の引用文は整合的になるけど、
筆者は当然そういう意味で書いたのだ、というのは若干むりやりかもね。
>健全性とは証明された定理が必ず正しいことを保証するもので、
>矛盾を導かないことである。
こっちの解釈はもっと厳しい