1さんへのおすすめ

複素解析の神秘性―複素数で素数定理を証明しよう! 吉田 信夫
フェルマー大定理の短証明―フェルマー大定理の別証明 山田 正治
集合論 (サイエンスライブラリ―現代数学への入門 (3)) 完爾 難波
復刊 公理論的集合論 西村 敏男、 難波 完爾
圏論による論理学―高階論理とトポス 清水 義夫

ぜひ頑張ってください、数学は基礎が肝要です