数学のロジックと集合論 の商品レビュー

田中一之(著者),鈴木登志雄(著者)

2012/07/17

集合論と論理学の入門書。記号の索引や、ギリシャ文字の一覧もあり、親切である。

意味論は真偽の問題であり、構文論は証明可能性の問題であるなど、見落としていたことを気付かされた。

5章 ゲーデルとコーエンの「お話」や、付録も大変興味深かった。

演習問題も答えが付いているし（私は解いていないが）、オススメである。