单词 metamathematician 释义 metamathematician|mtmmtn|[f. next, after mathematics, mathematician.]An expert in metamathematics.1935Mind XLIV. 394 The metamathematician may use mathematical induction for the recursive definition of simple functions.1952S....