Simplify the following text for a Grade 7 native English-speaking person.
Original: Hilbert is known as one of the founders of proof theory and mathematical logic , as well as for being among the first to distinguish between mathematics and metamathematics .
Simplified: He was one of the founders of proof theory and mathematical logic .