集合論は
現代数学概説Iが最強