metamathematics

Noun
  1. The logical analysis of mathematical reasoning (synset 106027244)
    referred to in: math, mathematics, maths - a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement
    is a type of: pure mathematics - the branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness

Other Searches