Reducción Prueba-Teórica

Una relación entre teorías formales por la cual las pruebas o teoremas de una teoría T1 pueden ser simulados, reconstruidos o traducidos dentro de otra teoría T2, a menudo mostrando que las derivaciones en T1 corresponden a derivaciones en T2 posiblemente con maquinaria adicional limitada.