metamathematics

the study of mathematics itself using mathematical methods

Categories: