Input (grade 8): The concept was famously used by Kurt Gödel for the proof of his incompleteness theorem.
Output (grade 7): The concept was first used by Kurt Gödel for the proof of his incompleteness theorem.