WordNet: metamathematics

Sanatista
the logical analysis of mathematical reasoning



metamathematics