Кедров Константин Александрович – Теорема Геделя о неполноте и дуэль Пушкина