Definition of "Metamathematics" :

noun: the logical analysis of mathematical reasoning