En el presente artículo se analiza la cuestión de si la verdad matemática o, en general, laverdad en las ciencias formales puede identificarse con la prueba que permite la aseveraciónde contenidos en estas ciencias. La respuesta que se defiende es negativa, y seargumenta explicitando el significado de la noción de verdad de acuerdo con la teoríaprooracional. Las oraciones en las que ocurren términos veritativos como “verdad” o“verdadero” funcionan como variables proposicionales complejas del lenguaje natural.A estas oraciones las llamamos prooraciones. Los actos de habla en los que las prooracionesocurren carecen de contenido en aislamiento y solo lo adquieren por referenciaanafórica o catafórica a un acto de habla asertivo realizado con éxito. En el artículo sedistingue entre los criterios que dan derecho para aseverar un contenido matemático y elsignificado de la noción de verdad aplicada a un contenido matemático. La prueba es uncriterio de aseveración, uno entre otros como asumen filósofos como Putnam o Maddy.El significado de la noción de verdad es independiente de los criterios y se mantieneestable en todos sus usos.