Original: He is also known as one of the founders of proof theory, mathematical logic and the distinction between mathematics and metamathematics.
Simplified: He is one of the founders of proof theory, mathematical logic. He was also one of the fist people to make the distinction between mathematics and metamathematics, and warmly defended Cantor's set theory and transfinite numbers.