metamathematics in Portuguese
metamathematics in Portuguese
metamatemática
A branch of mathematics dealing with mathematical systems and their nature.