2012. High Quality Content by WIKIPEDIA articles! Теоре?ма Гёделя о неполноте? и втора?я теоре?ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.