ゲーデルの数学思想の核心を簡潔に表明したギブス講義と、数学的概念の実在性を強く主張するカルナップ論文を中心に、ゲーデルの思索の軌跡を精緻に追跡。