Простейшие примеры математических доказательств

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

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