“Interesting-sounding, supposed applications of the incompleteness theorem [here earlier taken explicitly to refer to the incompleteness theorems as a whole] outside mathematics,… — Torkel Franz Copy Share Image