metamathematics in Indonesian
metamathematics in Indonesian
metamatematika
A branch of mathematics dealing with mathematical systems and their nature.