集合論和連續統假設

《集合論和連續統假設》（Set Theory and the Continuum Hypothesis）美國邏輯學家柯亨(P.J. Cohen，1934—）著。1966年發表。全書共4章。以1965年春在哈佛大學授課的講稿為基礎寫成，主要目的是給出連續統假設獨立性的證明。為了使著作儘可能保持自足，該書包括了邏輯學和公理集合等基礎材料。介紹了一階邏輯、公理集合論等理論，詳細說明了哥德爾的證明方法，然後給出了連續統假設和選擇公理獨立性的完整證明。該書還闡述了由作者首先提出的完成證明關鍵的力迫方法。人們發展並運用這一方法證明了一大批定理。