метаматематика

Часть речисущ.Значений1
  1. раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов

Источник: статья «метаматематика» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.