Entendemos por Entscheidungsproblem un problema que consiste en encontrar un método efectivo que nos permita determinar si, dada una expresión representada mediante la notación del sistema (P), tanto para P como para no P podemos encontrar una solución que se encuentre dentro del sistema.