metamathematics has definitions from the field of mathematics
1
[ noun ] (mathematics) the logical analysis of mathematical reasoning
*