Смотреть видео: Метаматематика - это техника математической логики, изучающая основания математи