Teoria de la demostració: diferència entre les revisions

La '''teoria de la demostració''' esés una branca de la [[lògica matemàtica]] que tracta amb l'estructura de les demostracions matemàtiques i la potència expresiva d'un determinat conjunt d'axiomes matemàtics.