proof theory and model theory

So why I come this to topic?

I find lots of natural deduction in coq art, by searching it on wikipedia,I find it a counter part of Axiomatic system, which refer to syntax style Proof theory and sematic style model theory.


By the way, axiomatic set theory, proof theory, model theory, and recursion theory are called the four pillars of the foundations of mathematics.