Explorando las pruebas y refutaciones de una afirmación abstracta, conjeturamos con el objetivo de dar un tratamiento sintáctico formal a su proceso de prueba-refutación, introducimos la noción de extrapolación de una afirmación posiblemente no demostrable teniendo la forma y proponemos un procedimiento que debería resultar en la nueva afirmación que es similar a la inicial, pero demostrable. Creemos que este procedimiento, basado en el método de extrapolación, puede considerarse una herramienta metodológica básica aplicable para demostrar-refutar-mejorar cualquier conjetura. Esta nueva noción, extrapolación, presenta un contraparte dual de la conocida interpolación introducida en la lógica tradicional hace sesenta y cinco años.