Две теоремы математической логики о принципиальных ограничениях формальной арифметики.