metamathematician

Noun

 * 1) A mathematician who studies metamathematics.