Meaning of metamathematics

(noun) the logical analysis of mathematical reasoning