Теорема Гёделя о неполноте — не только одна из самых замечательных и неожиданных теорем математической логики, да и всей математики, но, пожалуй, единственная на сегодняшний день теорема теории познания.
Читатель совершенно прав: его доказательство короче. Однако мы призываем читателя осознать тот факт, что предложенное нами доказательство совершенно убедительно, — а значит, совершенно безупречно.