ZFとかの公理系の話は内田、松坂のような入門書には全然書いていないと思うんですが、なんかおすすめの本はありますか？

選択公理が「証明できない」ことの証明が書いてある本とか