metamathematics Meaning, Definition & Usage

  1. noun the logical analysis of mathematical reasoning

WordNet