'metamathematics' definitions:

Definition of 'metamathematics'

(from WordNet)
noun
The logical analysis of mathematical reasoning