Эта теорема была изложена в небольшой статье австрийского математика Курта Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей