内田の方が難易度は若干高めだと思う。
玄人向けなのは児玉・永見とか。

>>142
現代数学概説は全然ダメ。辻の本は見たことないけど
昔の人の本だから、たぶん松坂の本と似たり寄ったりの
厳密じゃない書き方がしてあるんじゃないかと思う。

敢えて言うならハルモスの「素朴集合論」
（題名に反してちゃんと分出公理とか対の公理とかからきちんとやっている本）か、
あとはキューネンの集合論。ただし後者は順序数と基数の一般論を
一度大雑把にでもやっていないときついと思うけど。