As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
Таким образом, теория доказательств является "синтаксической", в отличие от "семантической" теории моделей.