Noun Definitionmetamathematics1.Definition: the logical analysis of mathematical reasoningCategory: General