>>830
>文系　：　文系のための論理学（設置キボンヌ）
>理系　：　数学基礎論

数学基礎論は捨てでお願いします。

文系　：　記号論理学
理系　：　集合論

で。