Nik WeaverのForcing for mathematicians面白そうだね
forcingの理論についてはどれくらいself-containedなんだろう？読んだ人居る？