Demostració matemàtica

De Viquipèdia

Una prova matemàtica és una demostració del fet que donat cert axioma, algun enunciat d'interès és necessariament veritable.

Les proves fan servir la lògica però usualment inclouen una part de llenguatge natural, que obviament admet ambigüetat.

La filosofia de la matemàtica s'ocupa del paper del llenguatge i de la lògica en les proves i de la matemàtica com a llenguatge.

El resultat d'una prova és un teorema

[edita] Algunes tècniques de prova