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 .