metamathematics Hear it!

metamathematics Definition

meta·math·emat·ics (met′ə mat̸h′ə matiks)

noun

the logical study of the nature and validity of mathematical reasoning and proof