Incompletud del sistema de reglas explícitas

 Si entre regla y acción media una regla de aplicación, el sistema o es infinito y las reglas son inaplicables, o si las reglas son aplicables el sistema es incompleto.