metamathematics
Technical term in mathematical logic and philosophy of mathematics; refers to the study of mathematics itself using mathematical methods.
Metamathematics is a field that studies the foundations of mathematics.
From English 'metamathematics', combining the prefix 'meta-' (beyond) with 'mathematics'.