Метаматематика - раздел математической логики, изучающий основания математики и теорию доказательств при помощи построения символических языков (формальных систем, исчислений). Метаматематика изучает также формализованные математические теории, т.е. математические теории, построенные в виде символических языков, и вообще возможность построения различных разделов математики в виде символических языков. Кроме того, метаматематика изучает и сами символические языки.
Излагаются алгебраические и топологические методы, применяемые в метаматиматике. Все необходимые сведения из алгебры и топологии излагаются в самой книге, в первой ее части. От читателей требуется только знаний основных понятий теории множеств.
Книга будет интересна специалистам по математической логике, а также тем математикам, которые желают ознакомиться с математическим аппаратом метаматематики.
