Incompleteness, stated carefully
The hypotheses the two incompleteness theorems carry, what their conclusions say about provability in one theory, which systems they apply to, and the readings they do not support.
About 20 minutes7 activities Paper packet