「不完全性定理」により、数学の哲学で賞賛されるゲーデルの、未刊哲学論稿を集成。彼の数学思想の核心を簡潔に表明したギブス講義、数学的概念の実在性を強く主張するカルナップ論文を中心にゲーデルの思索の軌跡を追う。