metamathematics
Metamathematics is the study of mathematical reasoning itself, including the foundations, assumptions, and implications of mathematical systems. It analyzes the structure of mathematical theories and explores the limits of mathematical knowledge and formal proof.
Requires login.