木村達雄さんの書いたところは、岩波講座・現代数学の基礎「現代数学の広がり２」
に収録されたものとほぼ同じだろうね。