Теорема Гёделя о неполноте - Википедия Самый тяжелый пример в мире по математике