  The basic notions of logic-predicate logic, Peano arithmetic, incompleteness
theorems, etc.-have for long been an advanced topic. In the last decades, they
became more widely taught, inphilosophy, mathematics, and computer science
departments, to graduate and to undergraduate students. Many textbooks now
present these notions, in particular the incompleteness theorems. Having taught
these notions for several decades, our community can now stand back and analyze
the choices faced when designing such a course. In this note, we attempt to
analyze the choices faced when teaching the incompleteness theorems.
