Nouns

(n)metamathematicsthe logical analysis of mathematical reasoning