metamathematician

noun
  1. 1

    A mathematician who studies metamathematics.

Source: https://en.wiktionary.org/wiki/metamathematician