(翻訳)完全性の論理第1章総括(チャールズ・ハーツホーン著)