Quin és el tema principal d'aquest text?
La teoria de la demostració és una branca de la lògica matemàtica que tracta amb l'estructura de les demostracions matemàtiques i la potència expressiva d'un determinat conjunt d'axiomes matemàtics.
El text tracta sobre matemàtiques.