>>655
難波さんの「集合論」サイエンス社はどうでつか?