МЕТАМАТЕМАТИКАзат есім. математикалық. Формалдық жүйелер мен есептеулердің әртүрлі қасиеттерін зерттейтін теория.