La teoría de modelos puede emplearse como herramienta en la teoría de la demostración que se ocupa de lo que se puede probar con sistemas matemáticos dados, y cómo estos sistemas se relacionan entre sí.