不確定性原理を読んだら，次は不完全性定理を読まねばならんだろうと，ぼくは昔読んだ本を引っ張り出して，通勤時間とかで読んだりした． ISBN:4-480-08988-8:detail ぼくの誤読の恐れが大いにあったりするんですけど， 自然数論を含む述語論理の体系 Z は，…