'metamathematics' definitions:

Definition of 'metamathematics'

From: WordNet
noun
The logical analysis of mathematical reasoning