The term 'syntactic' has a slightly wider scope than 'proof-theoretic', since it may be applied to properties of formal languages without any deductive systems, as well as to formal systems.
Термин 'синтаксический' охватывает немного более широкий контекст чем термин 'теоретико-доказательный', так как может быть применен к свойствам ФЯ безотносительно к любой дедуктивной системе, а также к формальным системам.