Теорема о неполноте

Александр Свитин
Самонедостаточности вполне достаточно для неполноты.