Original: He is also known as one of the founders of proof theory, mathematical logic and the distinction between mathematics and metamathematics.
Simplified: He was one of the founders of proof theory and mathematical logic.