metamathematics

noun (used with a singular verb)

1. the logical analysis of the fundamental concepts of mathematics, as number, function, etc.

noun

1. (functioning as singular) the logical analysis of the reasoning, principles, and rules that control the use and combination of mathematical symbols, numbers, etc

n.1890, from meta- + mathematics.