Николай Казимиров. Второе доказательство первой теоремы Геделя о неполноте.
Николай Казимиров. Теорема Гудстейна. Введение.