Metamathematics

Origin

From - + mathematics.

Full definition of metamathematics

Noun

metamathematics

(uncountable)

A branch of mathematics dealing with mathematical systems and their nature.