We do not currently know of any antonyms for metamathematician.
The noun metamathematician is defined as: