"Теорема Гёделя о неполноте " - читать интересную книгу автора (Успенский В.А. )