Wiktionary
metamathematician
n. A mathematician who studies metamathematics.
Usage examples of "metamathematician".
And then, as if wanting to do something in addition, though now there was nothing really left to do, I played the metamathematician -- in order to survey that entire anachronistic idea from above, as it were, in a kind of Olympian footnote.