数理論理学の本はわかりづらい。そもそも一般の数学書の形式（定義.XXX命題.YYYみたいな形式）にのっとってないものの方が多い気がする。つまり、どちらかというと一般の読み物っぽくて、本で使う語用法も一切整理せず、煙に巻いてわざとわからせないように…