大学3年生ぐらいで実数論のガチ講義があるといいな。
数学科以外では(数学科でも？)必修ではなくても良い。