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