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

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 PERSON@1 's set theory and transfinite numbers .
