Words: metamathematics
Part of speech: n
Definition: the logical analysis of mathematical reasoning