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