Input (grade 13): He is also known as one of the founders of proof theory, mathematical logic and the distinction between mathematics and metamathematics.
Output (grade 8): He was one of the founders of proof theory and mathematical logic.