Метаматематика - это техника математической логики, изучающая основания математи 3 таблицы истинности алгебра