metamathematics (Q903508)
the study of mathematics itself using mathematical methods
Language: