О преподавании теорем Гёделястатья