En principio la teoría de la demostración se ocupa de la complejidad sintáctica de las teorías a diferencia de la teoría de modelos que se ocupa principalmente de las posibilidades semánticas de la teoría.