Теорема Гудстейна. Введение // Николай Казимиров
Рекомендуемые источники:
1. Морис Клайн. Математика. Утрата определенности.
2. Констанс Рид. Гильберт.
3. Давид Гильберт, Пауль Бернайс. Основания математики.
4. Компьютерные доказательства: ~freek/100/