noun
metamathematics
Academic term for the mathematical study of mathematics itself, including proof theory and formal systems.
超数学は数学の基礎を研究する分野だ。
Metamathematics is a field that studies the foundations of mathematics.
数学 is general mathematics, while 超数学 is the meta-level study of mathematical systems themselves.
Compound of 超 (meta-, beyond) and 数学 (mathematics), likely a calque from English 'metamathematics' or German 'Metamathematik'.