大学初年級向けということなら、
「数学のロジックと集合論」　田中一之　がオススメだと思う

最初の一章はいらないけど（笑）、実数論も公理的集合論のさわりもついてる。