A una teoría formal se le pueden adjudicar ciertas propiedades en función de lo que sea capaz de demostrar.