本書は数理論理学の基礎的な知識を持つ読者を対象として，様相論理の構文論と意味論，ならびに，数学基礎論の専門家以外にも名前はよく知られているゲーデルの不完全性定理，コーエンの強制法，タルスキの真理論と･･･