Последовательность Гудстейна

[ok_go]

Здравствуйте. Я ищу литературу, в которой есть полезная информация о последовательности Гудстейна, в частности, может быть, доказательство теоремы Гудстейна(недоказуемость в PA). Если в чьем-то университете в лекциях есть материал на этот счет, например, то я буду рад, если вы им поделитесь.
Пенроуза я уже принял во внимание.

[svv]

topic78925.html