metamathematics (English, noun)
expansion: metamathematics (uncountable)
Senses:
glosses: A branch of mathematics dealing with mathematical systems and their nature.
tags: uncountable
Forms: