Что доказано и что не доказано во второй теореме Гёделя о неполноте арифметики