Метаматематика это техника математической логики, изучающая основания математи