Otras aplicaciones tienen que ver con lo que los lógicos denominan proposiciones formula_34, llamadas también a veces proposiciones "de tipo Goldbach" Estas son como la conjetura de Goldbach, propuestas que asignan a todo número natural una propiedad que es comprobable algorítmicamente para cada número en particular El teorema de Matiyasevich/MRDP implica que cada una de tales proposiciones es equivalente a un enunciado que afirma que existe una ecuación diofántica particular que carece de solución en los números naturales.