数学基礎論専門の大学院生なら、次ぐらいを議論できる：
数理論理学、圏論、集合論、モデル理論、証明論、計算理論
ただし、数学全体の中では、特に人気のある分野でない。