|

metamathematics

DEFINITIONS OF: metamathematics

1

n the logical analysis of mathematical reasoning

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
WORD FAMILY
USAGE EXAMPLES