Непротиворечивость арифметики. Теорема Генцена

[Норберт]

Подскажите пожалуйста где можно прочитать доказательство этой теоремы на русском языке. Оригинал на немецком, а я немецкого не знаю.

Если можете посоветуйте книгу попроще, так как я занимаюсь функциональным анализом и в математической логике профан.

Спасибо за внимание.