Есть в математике темы, пользующиеся достаточной известностью и в то же время признаваемые традицией слишком сложными (или маловажными) для включения в обязательное обучение: обычай относит их к занятиям факультативным, дополнительным, специальным и т.п. В перечне таких тем есть несколько, остающихся сейчас там исключительно в силу инерции. Одной из них является теорема Гёделя.