Definitions of metamathematics:

  • noun:   the logical analysis of mathematical reasoning