Individual #metamathematics__metamathematic  the logical analysis of mathematical reasoning
  >part 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
     >part of:  mathematics__math__maths__math  a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement

No statement uses or specializes metamathematics; click here to add one.


Another search (with same display options)?