foundations of mathematics
Academic field studying the logical and philosophical basis of mathematics, including set theory, proof theory, and model theory.
He is majoring in foundations of mathematics at university.
Lectures on foundations of mathematics are difficult but interesting.