释义 |
metamathematician|ˌmɛtəmæθɪməˈtɪʃən| [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. C. Kleene Introd. Metamath. iii. 64 The interpretation motivates the metamathematician in his choice of the particular formal system which he introduces by his definitions. |