Input (grade 10): This was historically the first problem for which undecidability could be proven.
Output (grade 10): This was the first question, even before the halting problem, for which undecidability could be proved.