metamathematics

noun

1. the logical analysis of mathematical reasoning

Definition categories: thought