En la teoría de la prueba , una rama de la lógica matemática , la extracción de pruebas (o desenrollado de pruebas ) es un programa de investigación que estudia o analiza pruebas formalizadas, especialmente en análisis , para obtener límites, rangos o tasas de convergencia explícitos de las pruebas que, cuando se expresan en términos naturales. lenguaje, parecen no constructivos . [1] Esta investigación ha llevado a mejores resultados en el análisis obtenido del análisis de pruebas clásicas.