metamathematician - noun

singularmetamathematician
pluralmetamathematicians