>>141
自分は『論理学をつくる』の次に
前原昭二『数学基礎論入門』を読みました。
論理計算を実践しつつ（かなり丁寧）、不完全性定理の厳密な証明が学べます。
命題論理の公理系から始まるので、シンタクスとセマンティクスの区別さえできていれば、
他に予備知識は不要な本です。