Indeed, the field of proof theory studies formal proofs and their properties, for example, the property that a statement has a formal proof.
De feito, a rama da teoría da proba estuda as demostracións formais e as súas propiedades, por exemplo, a propiedade de que un enunciado ten unha demostración formal.